diff options
author | Alex Merry <dev@randomguy3.me.uk> | 2013-08-25 20:35:55 +0100 |
---|---|---|
committer | Alex Merry <dev@randomguy3.me.uk> | 2013-08-25 20:35:55 +0100 |
commit | ea86afc07d645c1ba79800fed7c005d444d60f80 (patch) | |
tree | 4ed57bb04dcdef81e3e49734ccb1da02cf2fabcc /tikzit/src/gtk | |
parent | e707060efcf1cb751b7f1a0e26051bc6b93b123f (diff) |
Redraw graphs when shapes are refreshed
Diffstat (limited to 'tikzit/src/gtk')
-rw-r--r-- | tikzit/src/gtk/GraphRenderer.m | 11 |
1 files changed, 11 insertions, 0 deletions
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 |