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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
# Touchy is Copyright (c) 2009 Chris Radek <chris@timeguy.com>
#
# Touchy is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 2 of the License, or
# (at your option) any later version.
#
# Touchy is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
class listing:
def __init__(self, gtk, emc, labels, eventboxes):
self.labels = labels
self.eventboxes = eventboxes
self.numlabels = len(labels)
self.gtk = gtk
self.emc = emc
self.lineoffset = 0
self.selected = -1
self.start_line = -1
self.filename = ""
self.program = []
self.lines = 0
self.populate()
def populate(self):
program = self.program[self.lineoffset:self.lineoffset + self.numlabels]
for i in range(self.numlabels):
l = self.labels[i]
e = self.eventboxes[i]
if i < len(program):
l.set_text(program[i].rstrip())
else:
l.set_text('')
if self.start_line == self.lineoffset + i:
e.modify_bg(self.gtk.STATE_NORMAL, self.gtk.gdk.color_parse('#66f'))
elif self.selected == self.lineoffset + i:
e.modify_bg(self.gtk.STATE_NORMAL, self.gtk.gdk.color_parse('#fff'))
else:
e.modify_bg(self.gtk.STATE_NORMAL, self.gtk.gdk.color_parse('#ccc'))
def show_line(self, n):
if len(self.program) <= self.numlabels:
self.lineoffset = 0
else:
self.lineoffset = min(max(0, n - self.numlabels/2),self.lines - self.numlabels)
self.populate()
def highlight_line(self, n):
n -= 1 # program[] is zero-based, emc line numbers are one-based
if self.selected == n: return
self.selected = n
self.show_line(n)
def up(self, b):
self.lineoffset -= self.numlabels
if self.lineoffset < 0:
self.lineoffset = 0
self.populate()
def down(self, b):
self.lineoffset += self.numlabels
self.populate()
def readfile(self, fn):
self.filename = fn
f = file(fn, 'r')
self.program = f.readlines()
f.close()
self.lines = len(self.program)
self.lineoffset = 0
self.selected = -1
self.populate()
def reload(self, b):
pass
def previous(self, b,count=1):
for i in range(count):
while True:
if self.start_line <= 0:
break
self.start_line -= 1
if (self.program[self.start_line][0] == 'N' or
self.program[self.start_line][0] == 'n' ):
break
self.show_line(self.start_line)
def next(self,b,count=1):
if count < 0: return self.previous(b, -count)
for i in range(count):
while True:
if self.start_line >= len(self.program)-1:
break
self.start_line += 1
if (self.program[self.start_line][0] == 'N' or
self.program[self.start_line][0] == 'n' ):
break
self.show_line(self.start_line)
def clear_startline(self):
self.start_line = -1
self.populate()
def get_startline(self):
return self.start_line + 1
|
