from shell import Shell
from version import VERSION
-try:
- True
-except NameError:
- True = 1==1
- False = 1==0
-
class Crust(wx.SplitterWindow):
"""Crust based on SplitterWindow."""
"""Text control containing the most recent shell calltip."""
def __init__(self, parent=None, id=-1):
- style = wx.TE_MULTILINE | wx.TE_READONLY | wx.TE_RICH2
- wx.TextCtrl.__init__(self, parent=parent, id=id, style=style)
+ style = (wx.TE_MULTILINE | wx.TE_READONLY | wx.TE_RICH2)
+ wx.TextCtrl.__init__(self, parent, id, style=style)
self.SetBackgroundColour(wx.Colour(255, 255, 232))
dispatcher.connect(receiver=self.display, signal='Shell.calltip')
def display(self, calltip):
"""Receiver for Shell.calltip signal."""
- self.SetValue(calltip)
+ ## self.SetValue(calltip) # Caused refresh problem on Windows.
+ self.Clear()
+ self.AppendText(calltip)
class SessionListing(wx.TextCtrl):
"""Text control containing all commands for session."""
def __init__(self, parent=None, id=-1):
- style = wx.TE_MULTILINE | wx.TE_READONLY | \
- wx.TE_RICH2 | wx.TE_DONTWRAP
- wx.TextCtrl.__init__(self, parent=parent, id=id, style=style)
+ style = (wx.TE_MULTILINE | wx.TE_READONLY |
+ wx.TE_RICH2 | wx.TE_DONTWRAP)
+ wx.TextCtrl.__init__(self, parent, id, style=style)
dispatcher.connect(receiver=self.push, signal='Interpreter.push')
def push(self, command, more):
"""Text control containing all dispatches for session."""
def __init__(self, parent=None, id=-1):
- style = wx.TE_MULTILINE | wx.TE_READONLY | \
- wx.TE_RICH2 | wx.TE_DONTWRAP
- wx.TextCtrl.__init__(self, parent=parent, id=id, style=style)
+ style = (wx.TE_MULTILINE | wx.TE_READONLY |
+ wx.TE_RICH2 | wx.TE_DONTWRAP)
+ wx.TextCtrl.__init__(self, parent, id, style=style)
dispatcher.connect(receiver=self.spy)
def spy(self, signal, sender):