Plugins/ViewManagerPlugins/MdiArea/MdiArea.py

changeset 1112
8a7d1b9d18db
parent 945
8cd4d08fa9f6
child 1356
16e55845cff0
equal deleted inserted replaced
1109:9552b5e16a07 1112:8a7d1b9d18db
5 5
6 """ 6 """
7 Module implementing the mdi area viewmanager class. 7 Module implementing the mdi area viewmanager class.
8 """ 8 """
9 9
10 from PyQt4.QtCore import * 10 from PyQt4.QtCore import QSignalMapper, pyqtSignal, QEvent, QSize, Qt
11 from PyQt4.QtGui import * 11 from PyQt4.QtGui import QWidget, QMdiArea, QMenu
12 12
13 from ViewManager.ViewManager import ViewManager 13 from ViewManager.ViewManager import ViewManager
14 14
15 import QScintilla.Editor 15 import QScintilla.Editor
16 from QScintilla.Editor import Editor 16 from QScintilla.Editor import Editor

eric ide

mercurial