-
Vincent Untz authored
The following deprecated API got removed: wnck_screen_get_workspace_index wnck_screen_get_workspace_neighbor wnck_pager_set_screen wnck_tasklist_set_minimum_width wnck_tasklist_get_minimum_width wnck_tasklist_set_minimum_height wnck_tasklist_get_minimum_height wnck_tasklist_set_screen wnck_gtk_window_set_dock_type wnck_create_window_action_menu The following API don't take a WnckScreen argument anymore: wnck_pager_new wnck_tasklist_new
ab7419e6