QScintilla/MiniEditor.py

changeset 3201
0f115f6db6cb
parent 3190
a9a94491c4fd
child 3345
071afe8be2a1
equal deleted inserted replaced
3200:83bde5e6f146 3201:0f115f6db6cb
106 @param name object name of the window (string) 106 @param name object name of the window (string)
107 """ 107 """
108 super().__init__(parent) 108 super().__init__(parent)
109 if name is not None: 109 if name is not None:
110 self.setObjectName(name) 110 self.setObjectName(name)
111 self.setAttribute(Qt.WA_DeleteOnClose)
112 self.setWindowIcon(UI.PixmapCache.getIcon("editor.png")) 111 self.setWindowIcon(UI.PixmapCache.getIcon("editor.png"))
113 112
114 self.setStyle(Preferences.getUI("Style"), 113 self.setStyle(Preferences.getUI("Style"),
115 Preferences.getUI("StyleSheet")) 114 Preferences.getUI("StyleSheet"))
116 115

eric ide

mercurial