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/GraphRenderer.m | |
parent | 19e555267a2170d38e77e563192bfafe20d2f5c5 (diff) |
GTK: show focus indicator for graph surface
Diffstat (limited to 'tikzit/src/gtk/GraphRenderer.m')
-rw-r--r-- | tikzit/src/gtk/GraphRenderer.m | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tikzit/src/gtk/GraphRenderer.m b/tikzit/src/gtk/GraphRenderer.m index 76fe551..4278551 100644 --- a/tikzit/src/gtk/GraphRenderer.m +++ b/tikzit/src/gtk/GraphRenderer.m @@ -91,8 +91,11 @@ void graph_renderer_expose_event(GtkWidget *widget, GdkEventExpose *event); [self invalidateGraph]; } -- (void) renderWithContext:(id<RenderContext>)context onSurface:(id<Surface>)surface { +- (void) renderWithContext:(id<RenderContext>)context onSurface:(id<Surface>)s { [self renderWithContext:context]; + if ([s hasFocus]) { + [s renderFocus]; + } } - (void) renderWithContext:(id<RenderContext>)context { |