gint delete_binding;
gint dynamic_title;
gint exit_action;
+ gint scrollbar_position;
// TODO: gint colorscheme; the code can work around the need for
// TODO: this value. Just check if the back and fore colors match
// TODO: any pre-defined colorschemes exactly in the GUI.