@@ -622,16 +622,17 @@ class: AnnotateMinorMode : MinorMode
622622 populateAnnotationList ();
623623 }
624624
625- method : getTextFromClipboard (void ; Event event )
625+ method : pasteTextFromClipboard (void ; Event event )
626626 {
627627 // Getting text directly from the users clipboard
628- let text = commands . getTextFromClipboard ();
628+ let text = commands . pasteTextFromClipboard ();
629629
630630 if (text == "" ) {
631631 print ("WARNING: Clipboard is empty" );
632632
633633 } else {
634634 _textPlacementMode = true ;
635+ _textBuffer . pop_back ();
635636
636637 for (int i = 0 ; i < text . size (); i ++ )
637638 _textBuffer . push_back (text [i ]);
@@ -2170,7 +2171,7 @@ class: AnnotateMinorMode : MinorMode
21702171 ("key-down--alt--backspace" , backwardsKillWord , "" ),
21712172 ("key-down--shift--backspace" , backwardsKillWord , "" ),
21722173 ("key-down--control--backspace" , backwardsKillWord , "" ),
2173- ("key-down--meta--v" , getTextFromClipboard , "" ), // Paste from clipboard
2174+ ("key-down--meta--v" , pasteTextFromClipboard , "" ), // Paste from clipboard
21742175 ("key-down--meta--a" , killLine , "" ),
21752176 ("key-down--alt--a" , killLine , "" ),
21762177 ("key-down--space" , insertChar , "" ),
0 commit comments