/usr/share/gps/library/enter.xml 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 | <?xml version="1.0" ?>
<!-- New GPS action: insert newline, but don't auto-indent
This file binds the Shift-Return key so that it just
inserts a newline character, but not do auto-reindent the
current line first, as opposed to what Return does.
One usage is if you want some parts of your code to have some
special indentation that doesn't match what the automatic
indentation engine tries to do.
-->
<enter>
<action name="newline no auto-indent" category="Editor">
<shell>current_context</shell>
<shell>FileContext.file %1</shell>
<shell>File.name %1</shell>
<shell>Editor.cursor_get_line %1</shell>
<shell>Editor.cursor_get_column %2</shell>
<shell>Editor.replace_text %3 %2 %1 "
" 0 0</shell>
<shell>Editor.indent</shell>
<filter id="Source editor" />
</action>
<key action="newline no auto-indent">shift-Return</key>
</enter>
|