@@ -622,16 +622,17 @@ class: AnnotateMinorMode : MinorMode
622
622
populateAnnotationList ();
623
623
}
624
624
625
- method : getTextFromClipboard (void ; Event event )
625
+ method : pasteTextFromClipboard (void ; Event event )
626
626
{
627
627
// Getting text directly from the users clipboard
628
- let text = commands . getTextFromClipboard ();
628
+ let text = commands . pasteTextFromClipboard ();
629
629
630
630
if (text == "" ) {
631
631
print ("WARNING: Clipboard is empty" );
632
632
633
633
} else {
634
634
_textPlacementMode = true ;
635
+ _textBuffer . pop_back ();
635
636
636
637
for (int i = 0 ; i < text . size (); i ++ )
637
638
_textBuffer . push_back (text [i ]);
@@ -2170,7 +2171,7 @@ class: AnnotateMinorMode : MinorMode
2170
2171
("key-down--alt--backspace" , backwardsKillWord , "" ),
2171
2172
("key-down--shift--backspace" , backwardsKillWord , "" ),
2172
2173
("key-down--control--backspace" , backwardsKillWord , "" ),
2173
- ("key-down--meta--v" , getTextFromClipboard , "" ), // Paste from clipboard
2174
+ ("key-down--meta--v" , pasteTextFromClipboard , "" ), // Paste from clipboard
2174
2175
("key-down--meta--a" , killLine , "" ),
2175
2176
("key-down--alt--a" , killLine , "" ),
2176
2177
("key-down--space" , insertChar , "" ),
0 commit comments