diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-04 15:08:16 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-04 15:08:16 +0000 |
commit | 48fdfbb5c497037eccebdd5de168de995401771a (patch) | |
tree | 5b6f6a20b078543ad15693d83896f92a8801435b /tikzit/src/gtk/WidgetSurface.m | |
parent | 19e555267a2170d38e77e563192bfafe20d2f5c5 (diff) |
GTK: show focus indicator for graph surface
Diffstat (limited to 'tikzit/src/gtk/WidgetSurface.m')
-rw-r--r-- | tikzit/src/gtk/WidgetSurface.m | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/tikzit/src/gtk/WidgetSurface.m b/tikzit/src/gtk/WidgetSurface.m index 64adc25..680cf90 100644 --- a/tikzit/src/gtk/WidgetSurface.m +++ b/tikzit/src/gtk/WidgetSurface.m @@ -225,6 +225,30 @@ static gboolean scroll_event_cb (GtkWidget *widget, GdkEventScroll *event, Widge } } +- (BOOL) hasFocus { + return gtk_widget_has_focus (widget); +} + +- (void) renderFocus { + GdkWindow *window = gtk_widget_get_window (widget); + if (window) { + int width = 0; + int height = 0; + gdk_drawable_get_size (window, &width, &height); + gtk_paint_focus (gtk_widget_get_style (widget), + window, + GTK_STATE_NORMAL, + NULL, + widget, + NULL, + 0, + 0, + width, + height + ); + } +} + - (CGFloat) defaultScale { return defaultScale; } |