diff options
author | Alex Merry <dev@randomguy3.me.uk> | 2013-03-25 16:19:46 +0000 |
---|---|---|
committer | Alex Merry <dev@randomguy3.me.uk> | 2013-03-25 16:19:46 +0000 |
commit | 1b83e14b1f5640881deeb03c1d11df5197746b64 (patch) | |
tree | 15459d01d836db14064f120fdd7a3ab38ef2e421 /tikzit/src/gtk/Window.m | |
parent | c0137b33c535eb04f5e7d5628e9a225e226c5b34 (diff) |
Fix issues found by the clang static analyzer
Diffstat (limited to 'tikzit/src/gtk/Window.m')
-rw-r--r-- | tikzit/src/gtk/Window.m | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/tikzit/src/gtk/Window.m b/tikzit/src/gtk/Window.m index d6d7adb..dd9ee3c 100644 --- a/tikzit/src/gtk/Window.m +++ b/tikzit/src/gtk/Window.m @@ -354,19 +354,19 @@ static void update_paste_action (GtkClipboard *clipboard, GdkEvent *event, GtkAc } } -- (void) cut { +- (void) selectionCutToClipboard { if ([[[document pickSupport] selectedNodes] count] > 0) { - [self _placeGraphOnClipboard:[document cutSelection]]; + [self _placeGraphOnClipboard:[document selectionCut]]; } } -- (void) copy { +- (void) selectionCopyToClipboard { if ([[[document pickSupport] selectedNodes] count] > 0) { - [self _placeGraphOnClipboard:[document copySelection]]; + [self _placeGraphOnClipboard:[document selectionCopy]]; } } -- (void) paste { +- (void) pasteFromClipboard { gtk_clipboard_request_contents (gtk_clipboard_get (GDK_SELECTION_CLIPBOARD), tikzit_picture_atom, clipboard_paste_contents, |