void HandleWnckScreenDefaultActiveWorkspaceChanged(object o, ActiveWorkspaceChangedArgs args) { Desk activedesk = Desks.Find(desk => desk.IsActive); if (activedesk != null && activedesk.Parent != args.PreviousWorkspace) { DeskGrid = activedesk.GetDeskGridLayout(); } UpdateItem(); QueueRedraw(); }
void WnckScreenDefaultActiveWorkspaceChanged (object o, ActiveWorkspaceChangedArgs args) { UpdateTransientItems (); }
void WnckScreenDefaultActiveWorkspaceChanged(object o, ActiveWorkspaceChangedArgs args) { UpdateTransientItems(); }
void WnckScreenDefaultActiveWorkspaceChanged(object o, ActiveWorkspaceChangedArgs args) { UpdateWindows(); }
void HandleWnckScreenDefaultActiveWorkspaceChanged (object o, ActiveWorkspaceChangedArgs args) { Desk activedesk = Desks.Find (desk => desk.IsActive); if (activedesk != null && activedesk.Parent != args.PreviousWorkspace) DeskGrid = activedesk.GetDeskGridLayout (); UpdateItem (); QueueRedraw (); }
void WnckScreenDefaultActiveWorkspaceChanged (object o, ActiveWorkspaceChangedArgs args) { UpdateWindows (); }