Gtk UI: use GtkCanonicalizedLabels and many styling improvements

 * the canonicalized labels are used in title bars and popups
 * title labels and popup labels are selectable.
   The latter only makes sense as long as there is no mouse support
   for selecting popup entries.
 * message bar labels are selectable
 * title bars can be styled according to the current document type
   (.info-qregister and .info-buffer classes)
 * .dirty has been introduced for dirty buffers.
   This way, dirty buffer file names can be printed in italics
   without hardcoding that behaviour. It can be customized in the user CSS.
 * The style of highlighted popup entries is now themeable as well
   using the .highlight style class.

1 files changed, 4 insertions, 1 deletions

diff --git a/src/interface-gtk/interface-gtk.h b/src/interface-gtk/interface-gtk.h
index 8bd189d..80692f9 100644
--- a/src/interface-gtk/interface-gtk.h
+++ b/src/interface-gtk/interface-gtk.h
@@ -79,6 +79,8 @@ typedef class InterfaceGtk : public Interface<InterfaceGtk, ViewGtk> {
 	gboolean use_csd;
 	GtkWidget *info_bar_widget;
 	GtkWidget *info_image;
+	GtkWidget *info_type_widget;
+	GtkWidget *info_name_widget;
 
 	GtkWidget *event_box_widget;
 
@@ -98,7 +100,8 @@ public:
 	                 window(NULL),
 	                 info_type(INFO_TYPE_BUFFER), info_current(NULL),
 	                 use_csd(TRUE),
-	                 info_bar_widget(NULL), info_image(NULL),
+	                 info_bar_widget(NULL),
+	                 info_image(NULL), info_type_widget(NULL), info_name_widget(NULL),
 	                 event_box_widget(NULL),
 	                 message_bar_widget(NULL), message_widget(NULL),
 			 cmdline_widget(NULL),