From ea86afc07d645c1ba79800fed7c005d444d60f80 Mon Sep 17 00:00:00 2001 From: Alex Merry Date: Sun, 25 Aug 2013 20:35:55 +0100 Subject: Redraw graphs when shapes are refreshed --- tikzit/src/gtk/GraphRenderer.m | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'tikzit/src') diff --git a/tikzit/src/gtk/GraphRenderer.m b/tikzit/src/gtk/GraphRenderer.m index 278f245..b413d3e 100644 --- a/tikzit/src/gtk/GraphRenderer.m +++ b/tikzit/src/gtk/GraphRenderer.m @@ -19,6 +19,7 @@ #import "GraphRenderer.h" #import "Edge+Render.h" #import "Node+Render.h" +#import "Shape.h" void graph_renderer_expose_event(GtkWidget *widget, GdkEventExpose *event); @@ -31,6 +32,7 @@ void graph_renderer_expose_event(GtkWidget *widget, GdkEventExpose *event); - (void) graphChanged:(NSNotification*)notification; - (void) nodeStylePropertyChanged:(NSNotification*)notification; - (void) edgeStylePropertyChanged:(NSNotification*)notification; +- (void) shapeDictionaryReplaced:(NSNotification*)notification; @end @implementation GraphRenderer @@ -288,6 +290,11 @@ void graph_renderer_expose_event(GtkWidget *widget, GdkEventExpose *event); addObserver:self selector:@selector(graphNeedsRefreshing:) name:@"EdgeSelectionReplaced" object:[doc pickSupport]]; + [[NSNotificationCenter defaultCenter] + addObserver:self + selector:@selector(shapeDictionaryReplaced:) + name:@"ShapeDictionaryReplaced" + object:[Shape class]]; } [surface invalidate]; } @@ -460,6 +467,10 @@ void graph_renderer_expose_event(GtkWidget *widget, GdkEventExpose *event); } } +- (void) shapeDictionaryReplaced:(NSNotification*)notification { + [surface invalidate]; +} + @end // vim:ft=objc:ts=8:et:sts=4:sw=4 -- cgit v1.2.3