diff options
| author | Jean-Philippe Bruyère <jp_bruyere@hotmail.com> | 2018-03-07 20:28:42 +0100 |
|---|---|---|
| committer | Jean-Philippe Bruyère <jp_bruyere@hotmail.com> | 2018-03-07 20:28:42 +0100 |
| commit | 812330116eea9c2eeaafba975047baec11203a81 (patch) | |
| tree | f43686fa5f5aa644ceaa9c9d43ddfc7a8441f97f /src/GraphicObjects | |
| parent | bdb23e49cbaa3ada4e140993796deded92f1e761 (diff) | |
folding level
Diffstat (limited to 'src/GraphicObjects')
| -rw-r--r-- | src/GraphicObjects/DockWindow.cs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/GraphicObjects/DockWindow.cs b/src/GraphicObjects/DockWindow.cs index 34290a2e..e3dc2b9f 100644 --- a/src/GraphicObjects/DockWindow.cs +++ b/src/GraphicObjects/DockWindow.cs @@ -24,6 +24,7 @@ // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN // THE SOFTWARE. using System; +using System.Xml.Serialization; namespace Crow { @@ -52,8 +53,11 @@ namespace Crow return; isDocked = value; NotifyValueChanged ("IsDocked", isDocked); + NotifyValueChanged ("IsFloating", !isDocked); } } + [XmlIgnore] public bool IsFloating { get { return !isDocked; }} + public Alignment DockingPosition { get { return docking; } set { @@ -125,7 +129,7 @@ namespace Crow protected override void onDrop (object sender, DragDropEventArgs e) { if (!isDocked && DockingPosition != Alignment.Undefined) - dock (e.DropTarget as DockStack); + Dock (e.DropTarget as DockStack); base.onDrop (sender, e); } public void Undock () { @@ -146,7 +150,7 @@ namespace Crow } } - void dock (DockStack target){ + public void Dock (DockStack target){ lock (IFace.UpdateMutex) { IsDocked = true; //undockingMousePosOrig = lastMousePos; |