Searched refs:single_workspace_num (Results 1 – 2 of 2) sorted by relevance
108 gint single_workspace_num; member1142 g_value_set_int(value, desktop->priv->single_workspace_num); in xfce_desktop_get_property()1537 desktop->priv->single_workspace_num < desktop->priv->nworkspaces) { in xfce_desktop_get_current_workspace()1538 current_workspace = desktop->priv->single_workspace_num; in xfce_desktop_get_current_workspace()1544 workspace_num, desktop->priv->single_workspace_num, current_workspace, in xfce_desktop_get_current_workspace()1794 if(workspace_num == desktop->priv->single_workspace_num) in xfce_desktop_set_single_workspace_number()1799 desktop->priv->single_workspace_num = workspace_num; in xfce_desktop_set_single_workspace_number()
915 gint workspace_num, single_workspace_num; in xfdesktop_settings_get_active_workspace() local936 single_workspace_num = xfconf_channel_get_int(panel->channel, in xfdesktop_settings_get_active_workspace()939 if(single_workspace_num < wnck_screen_get_workspace_count(wnck_screen)) { in xfdesktop_settings_get_active_workspace()940 return single_workspace_num; in xfdesktop_settings_get_active_workspace()