/usr/share/gps/plug-ins/console.xml is in gnat-gps-common 5.3dfsg-1.
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 | <?xml version="1.0"?>
<!-- This file adds contextual menu to GPS Messages window. -->
<console>
<action name="Clear messages" output="none">
<filter module="GPS.Kernel.Console"/>
<shell>Console</shell>
<shell>Console.clear %1</shell>
</action>
<action name="Select all in console" output="none">
<filter module="GPS.Kernel.Console"/>
<shell>Console</shell>
<shell>Console.select_all %1</shell>
</action>
<action name="Copy in console" output="none">
<filter module="GPS.Kernel.Console"/>
<shell>Console</shell>
<shell>Console.copy_clipboard %1</shell>
</action>
<contextual action="Clear messages"/>
<contextual action="Select all in console" group="-1">
<title>Select all</title>
</contextual>
<contextual action="Copy in console" group="-1">
<title>Copy</title>
</contextual>
</console>
|