public void release_workspace_layout (int current_token);
public void toggle_showing_desktop (bool show);
public int try_set_workspace_layout (int current_token, int rows, int columns);
- public virtual signal void active_window_changed (Wnck.Window previous_window);
- public virtual signal void active_workspace_changed (Wnck.Workspace previous_workspace);
+ public virtual signal void active_window_changed (Wnck.Window? previous_window);
+ public virtual signal void active_workspace_changed (Wnck.Workspace? previous_workspace);
public virtual signal void application_closed (Wnck.Application app);
public virtual signal void application_opened (Wnck.Application app);
public virtual signal void background_changed ();
Wnck cheader_filename="libwnck/libwnck.h"
+WnckScreen::active_window_changed.previous_window nullable="1"
+WnckScreen::active_workspace_changed.previous_workspace nullable="1"
\ No newline at end of file