--- /dev/null
+__author__ = "Andrea Gavana <andrea.gavana@gmail.com>"
+__date__ = "31 March 2009"
+
+
+import wx
+
+import auibook
+from aui_constants import *
+
+_ = wx.GetTranslation
+
+#-----------------------------------------------------------------------------
+# AuiMDIParentFrame
+#-----------------------------------------------------------------------------
+
+class AuiMDIParentFrame(wx.Frame):
+
+ def __init__(self, parent, id=wx.ID_ANY, title="", pos=wx.DefaultPosition,
+ size=wx.DefaultSize, style=wx.DEFAULT_FRAME_STYLE|wx.VSCROLL|wx.HSCROLL,
+ name="AuiMDIParentFrame"):
+
+ wx.Frame.__init__(self, parent, id, title, pos, size, style, name=name)
+ self.Init()
+
+ self.Bind(wx.EVT_MENU, self.DoHandleMenu, id=wx.ID_ANY)
+
+ # this style can be used to prevent a window from having the standard MDI
+ # "Window" menu
+ if not style & wx.FRAME_NO_WINDOW_MENU:
+
+ self._pWindowMenu = wx.Menu()
+ self._pWindowMenu.Append(wxWINDOWCLOSE, _("Cl&ose"))
+ self._pWindowMenu.Append(wxWINDOWCLOSEALL, _("Close All"))
+ self._pWindowMenu.AppendSeparator()
+ self._pWindowMenu.Append(wxWINDOWNEXT, _("&Next"))
+ self._pWindowMenu.Append(wxWINDOWPREV, _("&Previous"))
+
+ self._pClientWindow = self.OnCreateClient()
+
+
+ def SetArtProvider(self, provider):
+
+ if self._pClientWindow:
+ self._pClientWindow.SetArtProvider(provider)
+
+
+ def GetArtProvider(self):
+
+ if not self._pClientWindow:
+ return None
+
+ return self._pClientWindow.GetArtProvider()
+
+
+ def GetNotebook(self):
+
+ return self._pClientWindow
+
+
+ def SetWindowMenu(self, pMenu):
+
+ # Replace the window menu from the currently loaded menu bar.
+ pMenuBar = self.GetMenuBar()
+
+ if self._pWindowMenu:
+ self.RemoveWindowMenu(pMenuBar)
+ del self._pWindowMenu
+ self._pWindowMenu = None
+
+ if pMenu:
+ self._pWindowMenu = pMenu
+ self.AddWindowMenu(pMenuBar)
+
+
+ def GetWindowMenu(self):
+
+ return self._pWindowMenu
+
+
+ def SetMenuBar(self, pMenuBar):
+
+ # Remove the Window menu from the old menu bar
+ self.RemoveWindowMenu(self.GetMenuBar())
+
+ # Add the Window menu to the new menu bar.
+ self.AddWindowMenu(pMenuBar)
+
+ wx.Frame.SetMenuBar(self, pMenuBar)
+
+
+ def SetChildMenuBar(self, pChild):
+
+ if not pChild:
+
+ # No Child, set Our menu bar back.
+ if self._pMyMenuBar:
+ self.SetMenuBar(self._pMyMenuBar)
+ else:
+ self.SetMenuBar(self.GetMenuBar())
+
+ # Make sure we know our menu bar is in use
+ self._pMyMenuBar = None
+
+ else:
+
+ if pChild.GetMenuBar() == None:
+ return
+
+ # Do we need to save the current bar?
+ if self._pMyMenuBar == None:
+ self._pMyMenuBar = self.GetMenuBar()
+
+ self.SetMenuBar(pChild.GetMenuBar())
+
+
+ def ProcessEvent(self, event):
+
+ # stops the same event being processed repeatedly
+ if self._pLastEvt == event:
+ return False
+
+ self._pLastEvt = event
+
+ # let the active child (if any) process the event first.
+ res = False
+ if self._pActiveChild and event.IsCommandEvent() and \
+ event.GetEventObject() != self._pClientWindow and \
+ event.GetEventType() not in [wx.wxEVT_ACTIVATE, wx.wxEVT_SET_FOCUS,
+ wx.wxEVT_KILL_FOCUS, wx.wxEVT_CHILD_FOCUS,
+ wx.wxEVT_COMMAND_SET_FOCUS, wx.wxEVT_COMMAND_KILL_FOCUS]:
+
+ res = self._pActiveChild.GetEventHandler().ProcessEvent(event)
+
+ if not res:
+
+ # if the event was not handled this frame will handle it,
+ # which is why we need the protection code at the beginning
+ # of this method
+ res = self.GetEventHandler().ProcessEvent(event)
+
+ self._pLastEvt = None
+
+ return res
+
+
+ def GetActiveChild(self):
+
+ return self._pActiveChild
+
+
+ def SetActiveChild(self, pChildFrame):
+
+ self._pActiveChild = pChildFrame
+
+
+ def GetClientWindow(self):
+
+ return self._pClientWindow
+
+
+ def OnCreateClient(self):
+
+ return AuiMDIClientWindow(self)
+
+
+ def ActivateNext(self):
+
+ if self._pClientWindow and self._pClientWindow.GetSelection() != wx.NOT_FOUND:
+
+ active = self._pClientWindow.GetSelection() + 1
+ if active >= self._pClientWindow.GetPageCount():
+ active = 0
+
+ self._pClientWindow.SetSelection(active)
+
+
+ def ActivatePrevious(self):
+
+ if self._pClientWindow and self._pClientWindow.GetSelection() != wx.NOT_FOUND:
+
+ active = self._pClientWindow.GetSelection() - 1
+ if active < 0:
+ active = self._pClientWindow.GetPageCount() - 1
+
+ self._pClientWindow.SetSelection(active)
+
+
+ def Init(self):
+
+ self._pLastEvt = None
+
+ self._pClientWindow = None
+ self._pActiveChild = None
+ self._pWindowMenu = None
+ self._pMyMenuBar = None
+
+
+ def RemoveWindowMenu(self, pMenuBar):
+
+ if pMenuBar and self._pWindowMenu:
+
+ # Remove old window menu
+ pos = pMenuBar.FindMenu(_("&Window"))
+ if pos != wx.NOT_FOUND:
+ pMenuBar.Remove(pos)
+
+
+ def AddWindowMenu(self, pMenuBar):
+
+ if pMenuBar and self._pWindowMenu:
+
+ pos = pMenuBar.FindMenu(wx.GetStockLabel(wx.ID_HELP, wx.STOCK_NOFLAGS))
+ if pos == wx.NOT_FOUND:
+ pMenuBar.Append(self._pWindowMenu, _("&Window"))
+ else:
+ pMenuBar.Insert(pos, self._pWindowMenu, _("&Window"))
+
+
+ def DoHandleMenu(self, event):
+
+ evId = event.GetId()
+
+ if evId == wxWINDOWCLOSE:
+ if self._pActiveChild:
+ self._pActiveChild.Close()
+
+ elif evId == wxWINDOWCLOSEALL:
+
+ while self._pActiveChild:
+ if not self._pActiveChild.Close():
+ return # failure
+
+ elif evId == wxWINDOWNEXT:
+ self.ActivateNext()
+
+ elif evId == wxWINDOWPREV:
+ self.ActivatePrevious()
+
+ else:
+ event.Skip()
+
+
+ def Tile(self, orient=wx.HORIZONTAL):
+
+ client_window = self.GetClientWindow()
+ if not client_window:
+ raise Exception("Missing MDI Client Window")
+
+ cur_idx = client_window.GetSelection()
+ if cur_idx == -1:
+ return
+
+ if orient == wx.VERTICAL:
+
+ client_window.Split(cur_idx, wx.LEFT)
+
+ elif orient == wx.HORIZONTAL:
+
+ client_window.Split(cur_idx, wx.TOP)
+
+
+#-----------------------------------------------------------------------------
+# AuiMDIChildFrame
+#-----------------------------------------------------------------------------
+
+class AuiMDIChildFrame(wx.PyPanel):
+
+ def __init__(self, parent, id=wx.ID_ANY, title="", pos=wx.DefaultPosition,
+ size=wx.DefaultSize, style=wx.DEFAULT_FRAME_STYLE, name="AuiMDIChildFrame"):
+
+ pClientWindow = parent.GetClientWindow()
+ if pClientWindow is None:
+ raise Exception("Missing MDI client window.")
+
+ self.Init()
+
+ # see comment in constructor
+ if style & wx.MINIMIZE:
+ self._activate_on_create = False
+
+ cli_size = pClientWindow.GetClientSize()
+
+ # create the window off-screen to prevent flicker
+ wx.PyPanel.__init__(self, pClientWindow, id, wx.Point(cli_size.x+1, cli_size.y+1),
+ size, wx.NO_BORDER, name=name)
+
+ self.SetBackgroundStyle(wx.BG_STYLE_CUSTOM)
+ self.Show(False)
+ self.SetMDIParentFrame(parent)
+
+ # this is the currently active child
+ parent.SetActiveChild(self)
+ self._title = title
+
+ pClientWindow.AddPage(self, title, self._activate_on_create)
+ pClientWindow.Refresh()
+
+ self.Bind(wx.EVT_MENU_HIGHLIGHT_ALL, self.OnMenuHighlight)
+ self.Bind(wx.EVT_ACTIVATE, self.OnActivate)
+ self.Bind(wx.EVT_CLOSE, self.OnCloseWindow)
+
+
+ def Init(self):
+
+ # There are two ways to create an tabbed mdi child fram without
+ # making it the active document. Either Show(False) can be called
+ # before Create() (as is customary on some ports with wxFrame-type
+ # windows), or wx.MINIMIZE can be passed in the style flags. Note that
+ # AuiMDIChildFrame is not really derived from wxFrame, as MDIChildFrame
+ # is, but those are the expected symantics. No style flag is passed
+ # onto the panel underneath.
+
+ self._activate_on_create = True
+
+ self._pMDIParentFrame = None
+ self._pMenuBar = None
+
+ self._mdi_currect = None
+ self._mdi_newrect = wx.Rect()
+ self._icon = None
+ self._icon_bundle = None
+
+
+ def Destroy(self):
+
+ pParentFrame = self.GetMDIParentFrame()
+ if not pParentFrame:
+ raise Exception("Missing MDI Parent Frame")
+
+ pClientWindow = pParentFrame.GetClientWindow()
+ if not pClientWindow:
+ raise Exception("Missing MDI Client Window")
+
+ if pParentFrame.GetActiveChild() == self:
+
+ # deactivate ourself
+ event = wx.ActivateEvent(wx.wxEVT_ACTIVATE, False, self.GetId())
+ event.SetEventObject(self)
+ self.GetEventHandler().ProcessEvent(event)
+
+ pParentFrame.SetActiveChild(None)
+ pParentFrame.SetChildMenuBar(None)
+
+ for pos in xrange(pClientWindow.GetPageCount()):
+ if pClientWindow.GetPage(pos) == self:
+ return pClientWindow.DeletePage(pos)
+
+ return False
+
+
+ def SetMenuBar(self, menu_bar):
+
+ pOldMenuBar = self._pMenuBar
+ self._pMenuBar = menu_bar
+
+ if self._pMenuBar:
+
+ pParentFrame = self.GetMDIParentFrame()
+ if not pParentFrame:
+ raise Exception("Missing MDI Parent Frame")
+
+ self._pMenuBar.Reparent(pParentFrame)
+ if pParentFrame.GetActiveChild() == self:
+
+ # replace current menu bars
+ if pOldMenuBar:
+ pParentFrame.SetChildMenuBar(None)
+
+ pParentFrame.SetChildMenuBar(self)
+
+
+ def GetMenuBar(self):
+
+ return self._pMenuBar
+
+
+ def SetTitle(self, title):
+
+ self._title = title
+
+ pParentFrame = self.GetMDIParentFrame()
+ if not pParentFrame:
+ raise Exception("Missing MDI Parent Frame")
+
+ pClientWindow = pParentFrame.GetClientWindow()
+ if pClientWindow is not None:
+
+ for pos in xrange(pClientWindow.GetPageCount()):
+ if pClientWindow.GetPage(pos) == self:
+ pClientWindow.SetPageText(pos, self._title)
+ break
+
+
+ def GetTitle(self):
+
+ return self._title
+
+
+ def SetIcons(self, icons):
+
+ # get icon with the system icon size
+ self.SetIcon(icons.GetIcon(-1))
+ self._icon_bundle = icons
+
+
+ def GetIcons(self):
+
+ return self._icon_bundle
+
+
+ def SetIcon(self, icon):
+
+ pParentFrame = self.GetMDIParentFrame()
+ if not pParentFrame:
+ raise Exception("Missing MDI Parent Frame")
+
+ self._icon = icon
+
+ bmp = wx.BitmapFromIcon(self._icon)
+
+ pClientWindow = pParentFrame.GetClientWindow()
+ if pClientWindow is not None:
+ idx = pClientWindow.GetPageIndex(self)
+ if idx != -1:
+ pClientWindow.SetPageBitmap(idx, bmp)
+
+
+ def GetIcon(self):
+
+ return self._icon
+
+
+ def Activate(self):
+
+ pParentFrame = self.GetMDIParentFrame()
+ if not pParentFrame:
+ raise Exception("Missing MDI Parent Frame")
+
+ pClientWindow = pParentFrame.GetClientWindow()
+ if pClientWindow is not None:
+
+ for pos in xrange(pClientWindow.GetPageCount()):
+ if pClientWindow.GetPage(pos) == self:
+ pClientWindow.SetSelection(pos)
+ break
+
+
+ def OnMenuHighlight(self, event):
+
+ if self._pMDIParentFrame:
+
+ # we don't have any help text for this item,
+ # but may be the MDI frame does?
+ self._pMDIParentFrame.OnMenuHighlight(event)
+
+
+ def OnActivate(self, event):
+
+ # do nothing
+ pass
+
+
+ def OnCloseWindow(self, event):
+
+ pParentFrame = self.GetMDIParentFrame()
+ if pParentFrame:
+ if pParentFrame.GetActiveChild() == self:
+
+ pParentFrame.SetActiveChild(None)
+ pParentFrame.SetChildMenuBar(None)
+
+ pClientWindow = pParentFrame.GetClientWindow()
+ idx = pClientWindow.GetPageIndex(self)
+
+ if idx != wx.NOT_FOUND:
+ pClientWindow.RemovePage(idx)
+
+ self.Destroy()
+
+
+ def SetMDIParentFrame(self, parentFrame):
+
+ self._pMDIParentFrame = parentFrame
+
+
+ def GetMDIParentFrame(self):
+
+ return self._pMDIParentFrame
+
+
+ def CreateStatusBar(self, number=1, style=1, winid=1, name=""):
+
+ return None
+
+
+ def GetStatusBar(self):
+
+ return None
+
+
+ def SetStatusText(self, text, number=0):
+
+ pass
+
+
+ def SetStatusWidths(self, widths_field):
+
+ pass
+
+
+ # no toolbar bars
+ def CreateToolBar(self, style=1, winid=-1, name=""):
+
+ return None
+
+
+ def GetToolBar(self):
+
+ return None
+
+
+ # no maximize etc
+ def Maximize(self, maximize=True):
+
+ pass
+
+
+ def Restore(self):
+
+ pass
+
+
+ def Iconize(self, iconize=True):
+
+ pass
+
+
+ def IsMaximized(self):
+
+ return True
+
+
+ def IsIconized(self):
+
+ return False
+
+
+ def ShowFullScreen(self, show=True, style=0):
+
+ return False
+
+
+ def IsFullScreen(self):
+
+ return False
+
+
+ def IsTopLevel(self):
+
+ return False
+
+
+ # renamed from Show().
+ def ActivateOnCreate(self, activate_on_create):
+
+ self._activate_on_create = activate_on_create
+ return True
+
+
+ def Show(self, show=True):
+
+ wx.PyPanel.Show(self, show)
+
+
+ def ApplyMDIChildFrameRect(self):
+
+ if self._mdi_currect != self._mdi_newrect:
+ self.SetDimensions(*self._mdi_newrect)
+ self._mdi_currect = wx.Rect(*self._mdi_newrect)
+
+
+#-----------------------------------------------------------------------------
+# AuiMDIClientWindow
+#-----------------------------------------------------------------------------
+
+class AuiMDIClientWindow(auibook.AuiNotebook):
+
+ def __init__(self, parent, agwStyle=0):
+
+ auibook.AuiNotebook.__init__(self, parent, wx.ID_ANY, wx.Point(0, 0), wx.Size(100, 100),
+ agwStyle=AUI_NB_DEFAULT_STYLE|wx.NO_BORDER)
+
+ caption_icon_size = wx.Size(wx.SystemSettings.GetMetric(wx.SYS_SMALLICON_X),
+ wx.SystemSettings.GetMetric(wx.SYS_SMALLICON_Y))
+ self.SetUniformBitmapSize(caption_icon_size)
+
+ bkcolour = wx.SystemSettings.GetColour(wx.SYS_COLOUR_APPWORKSPACE)
+ self.SetOwnBackgroundColour(bkcolour)
+
+ self._mgr.GetArtProvider().SetColour(AUI_DOCKART_BACKGROUND_COLOUR, bkcolour)
+
+ self.Bind(auibook.EVT_AUINOTEBOOK_PAGE_CHANGED, self.OnPageChanged)
+ self.Bind(auibook.EVT_AUINOTEBOOK_PAGE_CLOSE, self.OnPageClose)
+ self.Bind(wx.EVT_SIZE, self.OnSize)
+
+
+ def SetSelection(self, nPage):
+
+ return auibook.AuiNotebook.SetSelection(self, nPage)
+
+
+ def PageChanged(self, old_selection, new_selection):
+
+ # don't do anything if the page doesn't actually change
+ if old_selection == new_selection:
+ return
+
+ # notify old active child that it has been deactivated
+ if old_selection != -1 and old_selection < self.GetPageCount():
+
+ old_child = self.GetPage(old_selection)
+ if not old_child:
+ raise Exception("AuiMDIClientWindow.PageChanged - null page pointer")
+
+ event = wx.ActivateEvent(wx.wxEVT_ACTIVATE, False, old_child.GetId())
+ event.SetEventObject(old_child)
+ old_child.GetEventHandler().ProcessEvent(event)
+
+ # notify new active child that it has been activated
+ if new_selection != -1:
+
+ active_child = self.GetPage(new_selection)
+ if not active_child:
+ raise Exception("AuiMDIClientWindow.PageChanged - null page pointer")
+
+ event = wx.ActivateEvent(wx.wxEVT_ACTIVATE, True, active_child.GetId())
+ event.SetEventObject(active_child)
+ active_child.GetEventHandler().ProcessEvent(event)
+
+ if active_child.GetMDIParentFrame():
+ active_child.GetMDIParentFrame().SetActiveChild(active_child)
+ active_child.GetMDIParentFrame().SetChildMenuBar(active_child)
+
+
+ def OnPageClose(self, event):
+
+ wnd = self.GetPage(event.GetSelection())
+ wnd.Close()
+
+ # regardless of the result of wnd.Close(), we've
+ # already taken care of the close operations, so
+ # suppress further processing
+ event.Veto()
+
+
+ def OnPageChanged(self, event):
+
+ self.PageChanged(event.GetOldSelection(), event.GetSelection())
+
+
+ def OnSize(self, event):
+
+ auibook.AuiNotebook.OnSize(self, event)
+
+ for pos in xrange(self.GetPageCount()):
+ self.GetPage(pos).ApplyMDIChildFrameRect()
projects / iramuteq / blobdiff