public static CursorTracker ForDisplay (Gdk.Display display) { if (!trackers.ContainsKey (display)) trackers [display] = new CursorTracker (display); return trackers [display]; }
public static CursorTracker ForDisplay(Gdk.Display display) { if (!trackers.ContainsKey(display)) { trackers [display] = new CursorTracker(display); } return(trackers [display]); }
internal AutohideManager(Gdk.Screen screen) { pid = System.Diagnostics.Process.GetCurrentProcess().Id; tracker = CursorTracker.ForDisplay(screen.Display); this.screen = Wnck.Screen.Get(screen.Number); tracker.CursorPositionChanged += HandleCursorPositionChanged; this.screen.ActiveWindowChanged += HandleActiveWindowChanged; this.screen.WindowOpened += HandleWindowOpened; this.screen.WindowClosed += HandleWindowClosed; }
internal AutohideManager (Gdk.Screen screen) { pid = System.Diagnostics.Process.GetCurrentProcess ().Id; tracker = CursorTracker.ForDisplay (screen.Display); this.screen = Wnck.Screen.Get (screen.Number); tracker.CursorPositionChanged += HandleCursorPositionChanged; this.screen.ActiveWindowChanged += HandleActiveWindowChanged; this.screen.WindowOpened += HandleWindowOpened; this.screen.WindowClosed += HandleWindowClosed; }