aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/interface-gtk/interface-gtk.h
diff options
context:
space:
mode:
authorRobin Haberkorn <robin.haberkorn@googlemail.com>2016-02-02 14:42:58 +0100
committerRobin Haberkorn <robin.haberkorn@googlemail.com>2016-02-02 17:49:42 +0100
commite768487fe3ef9ec8f94cea11ad6587c49c32422a (patch)
tree2d9b3a6fdea2fc8dc06c4fbd548eee4b9bf95cab /src/interface-gtk/interface-gtk.h
parent8627a00e3b25cdd80d88ddcef9d2d73cc784d571 (diff)
downloadsciteco-e768487fe3ef9ec8f94cea11ad6587c49c32422a.tar.gz
Gtk UI: full color scheme support
* implemented by exporting the most important Scintilla STYLEs as CSS variables and defining named widgets for the main UI components. * ~/.teco_css will then apply the Scintilla styles to the Gtk UI. This file is also for additional tweaks, e.g. enabling translucency. * A fallback.css is provided which does just that and is able to apply the terminal.tes and solarized.tes color schemes. * Other important aspects of theming like font sizes and names have not yet been dealt with. (We may want to apply the corresponding Scintilla settings to some widgets...)
Diffstat (limited to 'src/interface-gtk/interface-gtk.h')
-rw-r--r--src/interface-gtk/interface-gtk.h6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/interface-gtk/interface-gtk.h b/src/interface-gtk/interface-gtk.h
index 4563d5f..eff4597 100644
--- a/src/interface-gtk/interface-gtk.h
+++ b/src/interface-gtk/interface-gtk.h
@@ -75,6 +75,8 @@ public:
} ViewCurrent;
typedef class InterfaceGtk : public Interface<InterfaceGtk, ViewGtk> {
+ GtkCssProvider *css_var_provider;
+
GtkWidget *window;
GtkWidget *vbox;
@@ -102,7 +104,7 @@ typedef class InterfaceGtk : public Interface<InterfaceGtk, ViewGtk> {
GAsyncQueue *event_queue;
public:
- InterfaceGtk() : Interface(),
+ InterfaceGtk() : css_var_provider(NULL),
window(NULL),
vbox(NULL),
info_type(INFO_TYPE_BUFFER), info_current(NULL),
@@ -170,6 +172,8 @@ public:
private:
static void widget_set_font(GtkWidget *widget, const gchar *font_name);
+ void set_css_variables_from_view(ViewGtk *view);
+
void refresh_info(void);
void cmdline_insert_chr(gint &pos, gchar chr);
} InterfaceCurrent;