/usr/share/gps/library/eclipse.py is in gnat-gps-common 5.3dfsg-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 | """ Enables a selection of Eclipse-like shortcuts in GPS.
The "delete line" (Ctrl-D) action was contributed by Robert ter Vehn.
"""
import GPS
#
# Local subprograms
#
def delete_line():
""" Remove the lines that include the current selection. If there is
no selection, remove the line at the cursor position.
"""
buffer = GPS.EditorBuffer.get()
cpos = buffer.current_view().cursor()
append = GPS.last_command() == "delete line"
if append:
GPS.set_last_command ("delete line")
start = buffer.selection_start().beginning_of_line()
end = buffer.selection_end().end_of_line()
buffer.delete (start, end)
#
# Bindings
#
GPS.parse_xml ("""
<action name="delete line" output="none" category="Editor">
<description>Delete the lines that include the selection, or the current line.</description>
<shell lang="python">eclipse.delete_line()</shell>
</action>
<key action="delete line">control-d</key>""")
|