add exit title preference to group and add command for setting the preference

This commit is contained in:
Will Song
2015-01-08 10:18:29 -06:00
parent 22a8d7a8a3
commit e57fa1633a
6 changed files with 34 additions and 2 deletions

View File

@@ -300,6 +300,7 @@ void cons_time_setting(void);
void cons_mouse_setting(void);
void cons_statuses_setting(void);
void cons_titlebar_setting(void);
void cons_exittitle_setting(void);
void cons_notify_setting(void);
void cons_show_desktop_prefs(void);
void cons_states_setting(void);