add preference for disabling workspace colors for different attributes * gui-preferences.h: add new and mive existing preferences for the workspace view * settings-dialog.cc (settings_dialog, write_changed_settings): remove use of workspace prefs here; (read_workspace_colors): construct all elements of the workspace tab by code instead of the designer file; (write_workspace_colors): store the values of the check boxes for workspace preferences * settings-dialog.h: add check boxes of workspace view, that are removed from the designer file and now constructed in the code, as class variables; * settings-dialog.ui: clear the workspace tab, all elements are now constructed and laid out in the the code * workspace-model.cc (data): set background color only if attribute colors are desired * workspace-model.h: new class variable holding whether colors are used or not * workspace-view.cc (notice_settings): use constants from gui-preferences.h for key names and default values instead of hard coded values and store preference for using attribute colors

--- a/libgui/src/settings-dialog.h	Sat Oct 27 06:54:47 2018 -0400
+++ b/libgui/src/settings-dialog.h	Sun Oct 28 20:31:08 2018 +0100
@@ -23,6 +23,7 @@
 #if ! defined (octave_settings_dialog_h)
 #define octave_settings_dialog_h 1
 
+#include <QCheckBox>
 #include <QDialog>
 #include <QSettings>
 #include <QLineEdit>
@@ -92,6 +93,9 @@
 
     QRadioButton *m_rb_comment_strings[ed_comment_strings_count];
     QRadioButton *m_rb_uncomment_strings[ed_comment_strings_count];
+
+    QCheckBox *m_ws_enable_colors;
+    QCheckBox *m_ws_hide_tool_tips;
   };
 }