* gtk/rgmainwindow.cc, gtk/gtkbuilder/window_main.ui:
  - workaround "Gtk-WARNING **: GtkNotebook 0x998580 is mapped but visible 
    child GtkLabel 0x9ac140 is not mapped" by setting "show_tabs=True" in
    the GtkBuilder file and then setting it in buildInterface() again
    (closes: #721539)
  - fix warning" Gtk-CRITICAL **: gtk_tree_row_reference_new_proxy:
    assertion `path->depth > 0' failed" (closes: #721539)
* gtk/rgpreferenceswindow.{cc,h}:
  - make button colored in the preferencess window again, this broke 
    because gtk3 and gtk_widget_override_background() does not work
    (see gtk bug https://bugzilla.gnome.org/show_bug.cgi?id=656461)