Plugins/PluginVmMdiArea.py

changeset 96
9624a110667d
parent 13
1af94a91f439
child 398
5b5636320dca
child 792
a13346916170
equal deleted inserted replaced
95:261bc03812fd 96:9624a110667d
7 Module implementing the mdi area view manager plugin. 7 Module implementing the mdi area view manager plugin.
8 """ 8 """
9 9
10 import os 10 import os
11 11
12 from PyQt4.QtCore import QT_TRANSLATE_NOOP, qVersion 12 from PyQt4.QtCore import QT_TRANSLATE_NOOP
13 from PyQt4.QtGui import QPixmap 13 from PyQt4.QtGui import QPixmap
14 14
15 # Start-Of-Header 15 # Start-Of-Header
16 name = "Workspace Plugin" 16 name = "Workspace Plugin"
17 author = "Detlev Offenbach <detlev@die-offenbachs.de>" 17 author = "Detlev Offenbach <detlev@die-offenbachs.de>"

eric ide

mercurial