diff options
author | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2015-11-23 10:34:29 +0300 |
---|---|---|
committer | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2015-11-23 10:34:29 +0300 |
commit | f5fa189aa2f72d37e687d615fd0f098b0859c0b2 (patch) | |
tree | 753256a723e2cc7708a5442c44f7025b9cdf167c /main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Desktop | |
parent | a9d13629d4c202bd4c502ff19196a7822729a9ec (diff) |
[Ide] Cleanup more API
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Desktop')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Desktop/PlatformService.cs | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Desktop/PlatformService.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Desktop/PlatformService.cs index 2e66e750f7..81c9d975ae 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Desktop/PlatformService.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Desktop/PlatformService.cs @@ -432,7 +432,7 @@ namespace MonoDevelop.Ide.Desktop /// <summary> /// Grab the desktop focus for the window. /// </summary> - public virtual void GrabDesktopFocus (Gtk.Window window) + internal virtual void GrabDesktopFocus (Gtk.Window window) { if (Platform.IsWindows && window.IsRealized) { /* On Windows calling Present() will break out of window edge snapping mode. */ @@ -463,9 +463,9 @@ namespace MonoDevelop.Ide.Desktop toolbarBox.PackStart ((MainToolbar)toolbar, true, true, 0); } - public virtual bool GetIsFullscreen (Gtk.Window window) + public virtual bool GetIsFullscreen (Window window) { - return ((bool?) window.Data ["isFullScreen"]) ?? false; + return ((bool?) window.GetNativeWidget <Gtk.Window> ().Data ["isFullScreen"]) ?? false; } public virtual bool IsModalDialogRunning () @@ -474,26 +474,27 @@ namespace MonoDevelop.Ide.Desktop return windows.Any (w => w.Modal && w.Visible); } - public virtual void SetIsFullscreen (Gtk.Window window, bool isFullscreen) + public virtual void SetIsFullscreen (Window window, bool isFullscreen) { - window.Data ["isFullScreen"] = isFullscreen; + Gtk.Window windowControl = window; + windowControl.Data ["isFullScreen"] = isFullscreen; if (isFullscreen) { - window.Fullscreen (); + windowControl.Fullscreen (); } else { - window.Unfullscreen (); - SetMainWindowDecorations (window); + windowControl.Unfullscreen (); + SetMainWindowDecorations (windowControl); } } - public virtual void AddChildWindow (Gtk.Window parent, Gtk.Window child) + internal virtual void AddChildWindow (Gtk.Window parent, Gtk.Window child) { } - public virtual void RemoveChildWindow (Gtk.Window parent, Gtk.Window child) + internal virtual void RemoveChildWindow (Gtk.Window parent, Gtk.Window child) { } - public virtual void PlaceWindow (Gtk.Window window, int x, int y, int width, int height) + internal virtual void PlaceWindow (Gtk.Window window, int x, int y, int width, int height) { window.Move (x, y); window.Resize (width, height); |