diff options
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 { |