blob: 378bcea1a0c528a5d49686bf8261e9506673b741 (
plain)
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
|
class Info:
def __init__(self):
self.changed = False
self.lines = []
self.widget = None
self.lastString = None
def setWidget(self, widget):
self.widget = widget
def showString(self, string):
if string == self.lastString:
return
self.lines = string.split('\n')
self.widget.change()
self.lastString = string
def update(self):
win = self.widget.getWin()
width, height = win.getSize()
lines = [line[:width-1] for line in self.lines][:height]
win.erase()
for i, line in enumerate(lines):
win.addLine((0, i), line)
win.noutrefresh()
|
