File: readonly.py

package info (click to toggle)
gnat-gps 5.3dfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 50,360 kB
  • ctags: 11,617
  • sloc: ada: 374,346; ansic: 92,327; python: 15,979; xml: 12,186; sh: 3,277; makefile: 1,113; awk: 154; perl: 128; java: 17
file content (30 lines) | stat: -rw-r--r-- 888 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 makes every other line read-only.
   This is an example of using overlays"""

# ??? For a real production script, this script should be based
# on gps_utils.highlighter.py, which provides on-the-fly highlighting

from GPS import *

parse_xml ("""
  <action name="make lines readonly">
     <shell lang="python">readonly.make_readonly()</shell>
  </action>
  <menu action="make lines readonly">
     <title>/Tests/Make Lines Readonly</title>
  </menu>
""")

def make_readonly():
   """Make every other line readonly in the current file"""
   buffer = EditorBuffer.get ()
   loc = EditorLocation (buffer, 1, 1)

   overlay = buffer.create_overlay ("readonly")
   overlay.set_property ("editable", False)

   readonly = True
   while loc < buffer.end_of_buffer():
      eol = loc.end_of_line()
      buffer.apply_overlay (overlay, loc, eol - 1)
      loc = loc.forward_line (2)