eric6/Preferences/ConfigurationPages/EditorGeneralPage.py

changeset 8218
7c09585bd960
parent 8143
2c730d5fd177
equal deleted inserted replaced
8217:385f60c94548 8218:7c09585bd960
31 """ 31 """
32 def __init__(self): 32 def __init__(self):
33 """ 33 """
34 Constructor 34 Constructor
35 """ 35 """
36 super(EditorGeneralPage, self).__init__() 36 super().__init__()
37 self.setupUi(self) 37 self.setupUi(self)
38 self.setObjectName("EditorGeneralPage") 38 self.setObjectName("EditorGeneralPage")
39 39
40 self.addButton.setIcon(UI.PixmapCache.getIcon("plus")) 40 self.addButton.setIcon(UI.PixmapCache.getIcon("plus"))
41 self.deleteButton.setIcon(UI.PixmapCache.getIcon("minus")) 41 self.deleteButton.setIcon(UI.PixmapCache.getIcon("minus"))

eric ide

mercurial