File: console.py

package info (click to toggle)
gnat-gps 18-5
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 45,716 kB
  • sloc: ada: 362,679; python: 31,031; xml: 9,597; makefile: 1,030; ansic: 917; sh: 264; java: 17
file content (30 lines) | stat: -rw-r--r-- 670 bytes parent folder | download | duplicates (2)
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
"""
This file adds contextual menu to GPS Messages window.
"""


import GPS

XML = r"""<?xml version="1.0"?>
<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>
</console>
"""

GPS.parse_xml(XML)