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;
}