FLTK: fix displaying edit selection color

Author: chrisws

src/platform/fltk/BasicEditor.cxx

@@ -39,7 +39,8 @@ Fl_Text_Display::Style_Table_Entry styletable[] = {
   { defaultColor[7], FL_COURIER_ITALIC, 12}, // H - Italic Comments
   { defaultColor[8], FL_COURIER, 12},        // I - Numbers
   { defaultColor[9], FL_COURIER, 12},        // J - Operators
-  { FL_WHITE,        FL_COURIER, 12},        // K - Background
+  { FL_BLUE,         FL_COURIER, 12},        // K - Selection Background
+  { FL_WHITE,        FL_COURIER, 12},        // L - Background
 };
 
 #define PLAIN      'A'

src/platform/fltk/EditorWidget.cxx

@@ -1014,7 +1014,7 @@ void EditorWidget::setTheme(EditTheme *theme) {
   _editor->linenumber_bgcolor(get_color(theme->_background));
   _editor->linenumber_fgcolor(get_color(theme->_number_color));
   _editor->cursor_color(get_color(theme->_cursor_color));
-  _editor->selection_color(get_color(theme->_selection_color));
+  _editor->selection_color(get_color(theme->_selection_background));
   _funcList->color(fl_color_average(get_color(theme->_background), get_color(theme->_color), .92f));
   _funcList->item_labelfgcolor(get_color(theme->_color));
   _tty->color(_editor->color());

src/platform/fltk/EditorWidget.h

@@ -55,6 +55,7 @@ enum StyleField {
   st_icomments,
   st_numbers,
   st_operators,
+  st_selection,
   st_background
 };
 

src/platform/fltk/Profile.cxx

@@ -72,7 +72,8 @@ void Profile::loadEditTheme(int themeId) {
   styletable[7].color = get_color(_theme._syntax_comments); // H - comments
   styletable[8].color = get_color(_theme._syntax_digit); // I - numbers
   styletable[9].color = get_color(_theme._syntax_command); // J - operators
-  styletable[10].color = get_color(_theme._background); // Background
+  styletable[10].color = get_color(_theme._selection_background); // K Selection Background
+  styletable[11].color = get_color(_theme._background); // L Background
 }
 
 //
@@ -182,7 +183,8 @@ void Profile::updateTheme() {
   _theme._syntax_comments = styletable[7].color >> 8;
   _theme._syntax_digit = styletable[8].color >> 8;
   _theme._syntax_command = styletable[9].color >> 8;
-  _theme._background = styletable[10].color >> 8;
+  _theme._selection_background = styletable[10].color >> 8;
+  _theme._background = styletable[11].color >> 8;
 }
 
 //

src/ui/system.cpp

@@ -987,10 +987,12 @@ void System::showMenu() {
       items->add(new String(MENU_STR_SOURCE));
       _systemMenu[index++] = MENU_CONSOLE;
       _systemMenu[index++] = MENU_SOURCE;
+#if !defined(_FLTK)
       if (!isEditing()) {
         items->add(new String(MENU_STR_RESTART));
         _systemMenu[index++] = MENU_RESTART;
       }
+#endif
 #if !defined(_SDL) && !defined(_FLTK)
       items->add(new String(MENU_STR_KEYPAD));
       _systemMenu[index++] = MENU_KEYPAD;