- gint colorscheme;
- // FIXME: ADD THESE BACK
- //GdkColor background_color;
- //GdkColor foreground_color;
+ 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.
+ GdkColor background_color;
+ GdkColor foreground_color;