void RestoreTemporaryWindowGeometry(Wnck.Window window, Dictionary <Wnck.Window, WindowState> state) { if (!state.ContainsKey(window)) { return; } WindowState currentState = state [window]; window.SetWorkaroundGeometry(WindowGravity.Current, MoveResizeMask, currentState.Area.X - parent.ViewportX, currentState.Area.Y - parent.ViewportY, currentState.Area.Width, currentState.Area.Height); }
void RestoreTemporaryWindowGeometry(Wnck.Window window) { if (!window_states.ContainsKey(window)) { return; } WindowState state = window_states [window]; window.SetWorkaroundGeometry(WindowGravity.Current, MoveResizeMask, state.Area.X - parent.ViewportX, state.Area.Y - parent.ViewportY, state.Area.Width, state.Area.Height); window_states.Remove(window); }
void SetTemporaryWindowGeometry(Wnck.Window window, Gdk.Rectangle area, Dictionary <Wnck.Window, WindowState> state) { Gdk.Rectangle oldGeo = window.EasyGeometry(); oldGeo.X += parent.ViewportX; oldGeo.Y += parent.ViewportY; state [window] = new WindowState(oldGeo, window.State); if (window.IsMaximized) { window.Unmaximize(); } window.SetWorkaroundGeometry(WindowGravity.Current, MoveResizeMask, area.X, area.Y, area.Width, area.Height); }
void SetTemporaryWindowGeometry(Wnck.Window window, Gdk.Rectangle area) { Gdk.Rectangle oldGeo = window.EasyGeometry(); oldGeo.X += parent.ViewportX; oldGeo.Y += parent.ViewportY; if (!window_states.ContainsKey(window)) { window_states [window] = new WindowState(oldGeo, window.State); } if (window.IsMaximized) { window.Unmaximize(); } window.SetWorkaroundGeometry(WindowGravity.Current, MoveResizeMask, area.X, area.Y, area.Width, area.Height); }
public void MoveWindowInto(Wnck.Window window) { if (parent.IsVirtual) { Rectangle geo = window.EasyGeometry(); geo.X += window.Workspace.ViewportX; geo.Y += window.Workspace.ViewportY; int x = area.X + (geo.X % area.Width); int y = area.Y + (geo.Y % area.Height); x -= window.Workspace.ViewportX; y -= window.Workspace.ViewportY; window.SetWorkaroundGeometry(WindowGravity.Current, MoveMask, x, y, 0, 0); } else { window.MoveToWorkspace(parent); } }