34 super().__init__() |
34 super().__init__() |
35 self.setupUi(self) |
35 self.setupUi(self) |
36 self.setObjectName("ShellPage") |
36 self.setObjectName("ShellPage") |
37 |
37 |
38 self.shellHistoryStyleComboBox.addItem( |
38 self.shellHistoryStyleComboBox.addItem( |
39 self.tr("Disabled"), ShellHistoryStyle.Disabled.value) |
39 self.tr("Disabled"), ShellHistoryStyle.DISABLED.value) |
40 self.shellHistoryStyleComboBox.addItem( |
40 self.shellHistoryStyleComboBox.addItem( |
41 self.tr("Linux Style"), ShellHistoryStyle.LinuxStyle.value) |
41 self.tr("Linux Style"), ShellHistoryStyle.LINUXSTYLE.value) |
42 self.shellHistoryStyleComboBox.addItem( |
42 self.shellHistoryStyleComboBox.addItem( |
43 self.tr("Windows Style"), ShellHistoryStyle.WindowsStyle.value) |
43 self.tr("Windows Style"), ShellHistoryStyle.WINDOWSSTYLE.value) |
44 |
44 |
45 # set initial values |
45 # set initial values |
46 self.shellLinenoCheckBox.setChecked( |
46 self.shellLinenoCheckBox.setChecked( |
47 Preferences.getShell("LinenoMargin")) |
47 Preferences.getShell("LinenoMargin")) |
48 self.shellWordWrapCheckBox.setChecked( |
48 self.shellWordWrapCheckBox.setChecked( |