Searched refs:gui_geometry_status_pane_right (Results 1 – 8 of 8) sorted by relevance
124 gint gui_geometry_status_pane_right; member
733 if (recent.gui_geometry_status_pane_right != 0) { in write_recent()735 recent.gui_geometry_status_pane_right); in write_recent()997 recent.gui_geometry_status_pane_right = (gint)num; in read_set_recent_common_pair_static()1298 recent.gui_geometry_status_pane_right = (DEF_WIDTH/3); in recent_read_static()