1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
"""This plugin provides Cut, Copy and Paste buttons in the toolbar
"""
#############################################################################
# No user customization below this line
#############################################################################
import GPS
import gps_utils
@gps_utils.hook('gps_started')
def __gps_started():
GPS.Action('cut to clipboard').button(
toolbar='main', section='editor', label='Cut')
GPS.Action('copy to clipboard').button(
toolbar='main', section='editor', label='Copy')
GPS.Action('paste from clipboard').button(
toolbar='main', section='editor', label='Paste')
|
