Preferences/ConfigurationPages/TerminalPage.py

changeset 1131
7781e396c903
parent 945
8cd4d08fa9f6
child 1509
c0b5e693b0eb
equal deleted inserted replaced
1130:3e9f0330f833 1131:7781e396c903
22 """ 22 """
23 def __init__(self): 23 def __init__(self):
24 """ 24 """
25 Constructor 25 Constructor
26 """ 26 """
27 ConfigurationPageBase.__init__(self) 27 super().__init__()
28 self.setupUi(self) 28 self.setupUi(self)
29 self.setObjectName("TerminalPage") 29 self.setObjectName("TerminalPage")
30 30
31 if Utilities.isWindowsPlatform(): 31 if Utilities.isWindowsPlatform():
32 self.shellGroup.setEnabled(False) 32 self.shellGroup.setEnabled(False)

eric ide

mercurial