Patch from issue 975 on behalf of Phil: "Proposition of a patch right Pannel (new visual rendering <-> icons instead of text)"

It moreover better handle workflow changes: no need to restart RT for some options.

rtgui/preferences.h

@@ -134,6 +134,7 @@ class Preferences : public Gtk::Dialog {
     Gtk::CheckButton* ckbFileBrowserToolbarSingleRow;
     Gtk::CheckButton* ckbHideTPVScrollbar;
     Gtk::CheckButton* ckbSquareDetailWindow;
+    Gtk::CheckButton* ckbUseIconNoText;
 
 
     Options moptions;