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."""
self.notebook.AddPage(page=self.sessionlisting, text='Session')
self.dispatcherlisting = DispatcherListing(parent=self.notebook)
self.notebook.AddPage(page=self.dispatcherlisting, text='Dispatcher')
- from wxd import wx_
- self.wxdocs = Filling(parent=self.notebook,
- rootObject=wx_,
- rootLabel='wx',
- rootIsNamespace=False,
- static=True)
- self.notebook.AddPage(page=self.wxdocs, text='wxPython Docs')
- from wxd import stc_
- self.stcdocs = Filling(parent=self.notebook,
- rootObject=stc_.StyledTextCtrl,
- rootLabel='StyledTextCtrl',
- rootIsNamespace=False,
- static=True)
- self.notebook.AddPage(page=self.stcdocs, text='StyledTextCtrl Docs')
+## from wxd import wx_
+## self.wxdocs = Filling(parent=self.notebook,
+## rootObject=wx_,
+## rootLabel='wx',
+## rootIsNamespace=False,
+## static=True)
+## self.notebook.AddPage(page=self.wxdocs, text='wxPython Docs')
+## from wxd import stc_
+## self.stcdocs = Filling(parent=self.notebook,
+## rootObject=stc_.StyledTextCtrl,
+## rootLabel='StyledTextCtrl',
+## rootIsNamespace=False,
+## static=True)
+## self.notebook.AddPage(page=self.stcdocs, text='StyledTextCtrl Docs')
self.SplitHorizontally(self.shell, self.notebook, 300)
self.SetMinimumPaneSize(1)
"""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):