diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-17 14:22:48 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-17 14:22:48 +0000 |
commit | 6d1332ac7513f564c36949ed5d95fd6874f8bbb2 (patch) | |
tree | dd4721e95f34035932f4efd11d2d6051359905e3 /tikzit/src/gtk/Window.h | |
parent | dd70f3391d05753a86c30508afd3ada76770ca65 (diff) |
Disconnect the clipboard signal handler on window close
Previously, if a window was closed and then the clipboard changed,
update_paste_action would still be called with a now-invalid paste
action.
Diffstat (limited to 'tikzit/src/gtk/Window.h')
-rw-r--r-- | tikzit/src/gtk/Window.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tikzit/src/gtk/Window.h b/tikzit/src/gtk/Window.h index 0e8ccdc..570cdf4 100644 --- a/tikzit/src/gtk/Window.h +++ b/tikzit/src/gtk/Window.h @@ -41,6 +41,8 @@ GtkPaned *tikzPaneSplitter; GtkWidget *tikzPane; + gulong clipboard_handler_id; + // Classes that manage parts of the window Menu *menu; GraphEditorPanel *graphPanel; |