Put back the caching of property panels (as there is a noticable

[wxWidgets.git] / wxPython / wx / py / crust.py

diff --git a/wxPython/wx/py/crust.py b/wxPython/wx/py/crust.py
index e42d90206fb9a11872c6c4a8e3c2b1dedb9596fc..21a71cc680e2122505592894ca3ba87290845814 100644 (file)
--- a/wxPython/wx/py/crust.py
+++ b/wxPython/wx/py/crust.py
@@ -17,12 +17,6 @@ import frame
 from shell import Shell
 from version import VERSION
 
 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."""
 
 class Crust(wx.SplitterWindow):
     """Crust based on SplitterWindow."""


@@ -124,7 +118,9 @@ class Calltip(wx.TextCtrl):
 
     def display(self, calltip):
         """Receiver for Shell.calltip signal."""
 
     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):
 
 
 class SessionListing(wx.TextCtrl):