Show More
@@ -339,7 +339,7 b' class ConsoleWidget(editwindow.EditWindow):' | |||||
339 | elif event.KeyCode == wx.WXK_UP and event.ShiftDown(): |
|
339 | elif event.KeyCode == wx.WXK_UP and event.ShiftDown(): | |
340 | self.ScrollLines(-1) |
|
340 | self.ScrollLines(-1) | |
341 | elif event.KeyCode == wx.WXK_DOWN and event.ShiftDown(): |
|
341 | elif event.KeyCode == wx.WXK_DOWN and event.ShiftDown(): | |
342 |
self.ScrollLine |
|
342 | self.ScrollLines(1) | |
343 | else: |
|
343 | else: | |
344 | catched = False |
|
344 | catched = False | |
345 |
|
345 |
@@ -40,7 +40,7 b' _ERROR_MARKER = 30' | |||||
40 | #------------------------------------------------------------------------------- |
|
40 | #------------------------------------------------------------------------------- | |
41 | # Classes to implement the Wx frontend |
|
41 | # Classes to implement the Wx frontend | |
42 | #------------------------------------------------------------------------------- |
|
42 | #------------------------------------------------------------------------------- | |
43 |
class |
|
43 | class WxController(PrefilterFrontEnd, ConsoleWidget): | |
44 |
|
44 | |||
45 | output_prompt = \ |
|
45 | output_prompt = \ | |
46 | '\x01\x1b[0;31m\x02Out[\x01\x1b[1;31m\x02%i\x01\x1b[0;31m\x02]: \x01\x1b[0m\x02' |
|
46 | '\x01\x1b[0;31m\x02Out[\x01\x1b[1;31m\x02%i\x01\x1b[0;31m\x02]: \x01\x1b[0m\x02' | |
@@ -128,7 +128,7 b' class IPythonWxController(PrefilterFrontEnd, ConsoleWidget):' | |||||
128 | def my_on_enter(): |
|
128 | def my_on_enter(): | |
129 | self.waiting = False |
|
129 | self.waiting = False | |
130 | self._on_enter = my_on_enter |
|
130 | self._on_enter = my_on_enter | |
131 | # Busy waiting, ugly. |
|
131 | # XXX: Busy waiting, ugly. | |
132 | while self.waiting: |
|
132 | while self.waiting: | |
133 | wx.Yield() |
|
133 | wx.Yield() | |
134 | sleep(0.1) |
|
134 | sleep(0.1) | |
@@ -236,7 +236,7 b" if __name__ == '__main__':" | |||||
236 | def __init__(self, parent, id, title): |
|
236 | def __init__(self, parent, id, title): | |
237 | wx.Frame.__init__(self, parent, id, title, size=(300,250)) |
|
237 | wx.Frame.__init__(self, parent, id, title, size=(300,250)) | |
238 | self._sizer = wx.BoxSizer(wx.VERTICAL) |
|
238 | self._sizer = wx.BoxSizer(wx.VERTICAL) | |
239 |
self.shell = |
|
239 | self.shell = WxController(self) | |
240 | self._sizer.Add(self.shell, 1, wx.EXPAND) |
|
240 | self._sizer.Add(self.shell, 1, wx.EXPAND) | |
241 | self.SetSizer(self._sizer) |
|
241 | self.SetSizer(self._sizer) | |
242 | self.SetAutoLayout(1) |
|
242 | self.SetAutoLayout(1) |
General Comments 0
You need to be logged in to leave comments.
Login now