equal
deleted
inserted
replaced
702 self.AUIManager.AddPane(toolbar, wx.aui.AuiPaneInfo(). |
702 self.AUIManager.AddPane(toolbar, wx.aui.AuiPaneInfo(). |
703 Name("ToolBar").Caption("Toolbar"). |
703 Name("ToolBar").Caption("Toolbar"). |
704 ToolbarPane().Top(). |
704 ToolbarPane().Top(). |
705 LeftDockable(False).RightDockable(False)) |
705 LeftDockable(False).RightDockable(False)) |
706 if wx.Platform == '__WXMSW__': |
706 if wx.Platform == '__WXMSW__': |
707 self.AUIManagerGetPane("ToolBar").BestSize(wx.Size(width + 3, 55)) |
707 self.AUIManager.GetPane("ToolBar").BestSize(wx.Size(width + 3, 55)) |
708 self.AUIManager.Update() |
708 self.AUIManager.Update() |
709 |
709 |
710 def RefreshPluginParams(self): |
710 def RefreshPluginParams(self): |
711 plugin = self.GetSelectedPlugin() |
711 plugin = self.GetSelectedPlugin() |
712 if not plugin: |
712 if not plugin: |