# This module implements multiple-clipboards in GPS.
#
# Pressing the keys "alt-e 0" to "alt-e 9" will copy the current
# selection into one of the name clipboards 0 to 9.
# These clipboards can in turn be pasted with "control-t 0" to "control-t 9"
#
# This package is also an example on how to add your on extensions to GPS.
# The keys indicated above are the default keys. These can be overridden at
# the user level through the Edit->Key Shortcuts editor, and will be
# automatically reloaded from one session to the next
#
# This file should be put in the ~/.gps/plug-ins directory, so that
# it is automatically loaded when GPS starts.
#
# By default, only 10 clipboards are provided. By modifying the call to
# parse_xml below, you can create any number of clipboards
import GPS
copy_key = "alt-e"
paste_key = "primary-t"
def get_customization_string(suffix):
return """
Copy the current selection to the named clipboard """+suffix+"""
clipboards.copy_to_clipboard(\""""+suffix+"""")
Paste the contents of the named clipboard """+suffix+"""
clipboards.paste_from_clipboard(\""""+suffix+"""")
"+copy_key+" "+suffix+"""
"+paste_key+" "+suffix+"""
"""
GPS.parse_xml(get_customization_string("0") +
get_customization_string("1") +
get_customization_string("2") +
get_customization_string("3") +
get_customization_string("4") +
get_customization_string("5") +
get_customization_string("6") +
get_customization_string("7") +
get_customization_string("8") +
get_customization_string("9"))
clipboard = {}
def copy_to_clipboard(suffix):
try:
clipboard[suffix] = GPS.Editor.get_chars(
GPS.current_context().file().name())
except:
pass
def paste_from_clipboard(suffix):
context = GPS.current_context()
GPS.Editor.replace_text(context.file().name(), context.location().line(),
context.location().column(),
clipboard[suffix], 0, 0)