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
|
#
# Copyright 2009 Free Software Foundation, Inc.
#
# This file is part of GNU Radio
#
# GNU Radio 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 3, or (at your option)
# any later version.
#
# GNU Radio 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.
#
# You should have received a copy of the GNU General Public License
# along with GNU Radio; see the file COPYING. If not, write to
# the Free Software Foundation, Inc., 51 Franklin Street,
# Boston, MA 02110-1301, USA.
#
import wx
DEFAULT_WIN_SIZE = (600, 300)
APPEND_EVENT = wx.NewEventType()
EVT_APPEND_EVENT = wx.PyEventBinder(APPEND_EVENT, 0)
class AppendEvent(wx.PyEvent):
def __init__(self, text):
wx.PyEvent.__init__(self)
self.SetEventType(APPEND_EVENT)
self.text = text
def Clone(self):
self.__class__(self.GetId())
class term_window(wx.Panel):
def __init__(self,
parent,
size,
):
wx.Panel.__init__(self,
parent,
size=size,
style=wx.SIMPLE_BORDER,
)
self.text_ctrl = wx.TextCtrl(self,
wx.ID_ANY,
value="",
size=size,
style=wx.TE_MULTILINE|wx.TE_READONLY,
)
main_sizer = wx.BoxSizer(wx.VERTICAL)
main_sizer.Add(self.text_ctrl, 1, wx.EXPAND)
self.SetSizerAndFit(main_sizer)
EVT_APPEND_EVENT(self, self.evt_append)
def append_text(self, text):
evt = AppendEvent(text)
wx.PostEvent(self, evt)
del evt
def evt_append(self, evt):
print "appending", len(evt.text), "bytes"
self.text_ctrl.AppendText(evt.text)
|
