static void HandleWorkspaceDestroyed(object o, WorkspaceDestroyedArgs args) { UpdateViewports(); }
void HandleWnckScreenDefaultWorkspaceDestroyed (object o, WorkspaceDestroyedArgs args) { Update (); }
void HandleWnckScreenDefaultWorkspaceDestroyed(object o, WorkspaceDestroyedArgs args) { Update(); }
static void HandleWorkspaceDestroyed(object o, WorkspaceDestroyedArgs args) { UpdateViewports (); }