-
Committer:
Michael Vogt
-
Date:
2013-09-02 08:00:25 UTC
-
Revision ID:
michael.vogt@ubuntu.com-20130902080025-743dzne7211qmcet
* 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)