gnue/designer/src/base Instance.py ToolPanel.py

[Jason Cater]

CVSROOT:        /cvsroot/gnue
Module name:    gnue
Changes by:     Jason Cater <address@hidden>    03/05/23 23:23:56

Modified files:
        designer/src/base: Instance.py ToolPanel.py 

Log message:
        changed name of SingleTooledPane to DockedToolPane to better reflect 
its function

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gnue/gnue/designer/src/base/Instance.py.diff?tr1=1.94&tr2=1.95&r1=text&r2=text
http://savannah.gnu.org/cgi-bin/viewcvs/gnue/gnue/designer/src/base/ToolPanel.py.diff?tr1=1.10&tr2=1.11&r1=text&r2=text

Patches:
Index: gnue/designer/src/base/Instance.py
diff -c gnue/designer/src/base/Instance.py:1.94 
gnue/designer/src/base/Instance.py:1.95
*** gnue/designer/src/base/Instance.py:1.94     Fri May 23 23:19:49 2003
--- gnue/designer/src/base/Instance.py  Fri May 23 23:23:56 2003
***************
*** 258,264 ****
            enableMenu = 1
          else:
            # Docked type
!           pane = SingleTooledPane(self.__horizSplitter, self)
            control = pane.AddTool(title, baseclass, self.rootObject, self)
            if pos == 'left':
              window = leftWin
--- 258,264 ----
            enableMenu = 1
          else:
            # Docked type
!           pane = DockedToolPane(self.__horizSplitter, self)
            control = pane.AddTool(title, baseclass, self.rootObject, self)
            if pos == 'left':
              window = leftWin
Index: gnue/designer/src/base/ToolPanel.py
diff -c gnue/designer/src/base/ToolPanel.py:1.10 
gnue/designer/src/base/ToolPanel.py:1.11
*** gnue/designer/src/base/ToolPanel.py:1.10    Fri May 23 23:19:49 2003
--- gnue/designer/src/base/ToolPanel.py Fri May 23 23:23:56 2003
***************
*** 75,81 ****
  #
  #
  #
! class SingleTooledPane(wxPanel, ToolPanel):
    def __init__(self, parent, menutool):
      wxPanel.__init__(self, parent, -1)
      ToolPanel.__init__(self, parent, menutool)
--- 75,81 ----
  #
  #
  #
! class DockedToolPane(wxPanel, ToolPanel):
    def __init__(self, parent, menutool):
      wxPanel.__init__(self, parent, -1)
      ToolPanel.__init__(self, parent, menutool)