36 super(ShellPage, self).__init__() |
36 super(ShellPage, self).__init__() |
37 self.setupUi(self) |
37 self.setupUi(self) |
38 self.setObjectName("ShellPage") |
38 self.setObjectName("ShellPage") |
39 |
39 |
40 self.shellHistoryStyleComboBox.addItem( |
40 self.shellHistoryStyleComboBox.addItem( |
41 self.tr("Disabled"), ShellHistoryStyle.Disabled) |
41 self.tr("Disabled"), ShellHistoryStyle.Disabled.value) |
42 self.shellHistoryStyleComboBox.addItem( |
42 self.shellHistoryStyleComboBox.addItem( |
43 self.tr("Linux Style"), ShellHistoryStyle.LinuxStyle) |
43 self.tr("Linux Style"), ShellHistoryStyle.LinuxStyle.value) |
44 self.shellHistoryStyleComboBox.addItem( |
44 self.shellHistoryStyleComboBox.addItem( |
45 self.tr("Windows Style"), ShellHistoryStyle.WindowsStyle) |
45 self.tr("Windows Style"), ShellHistoryStyle.WindowsStyle.value) |
46 |
46 |
47 # set initial values |
47 # set initial values |
48 self.shellLinenoCheckBox.setChecked( |
48 self.shellLinenoCheckBox.setChecked( |
49 Preferences.getShell("LinenoMargin")) |
49 Preferences.getShell("LinenoMargin")) |
50 self.shellWordWrapCheckBox.setChecked( |
50 self.shellWordWrapCheckBox.setChecked( |
56 self.shellSyntaxHighlightingCheckBox.setChecked( |
56 self.shellSyntaxHighlightingCheckBox.setChecked( |
57 Preferences.getShell("SyntaxHighlightingEnabled")) |
57 Preferences.getShell("SyntaxHighlightingEnabled")) |
58 self.shellHistorySpinBox.setValue( |
58 self.shellHistorySpinBox.setValue( |
59 Preferences.getShell("MaxHistoryEntries")) |
59 Preferences.getShell("MaxHistoryEntries")) |
60 index = self.shellHistoryStyleComboBox.findData( |
60 index = self.shellHistoryStyleComboBox.findData( |
61 Preferences.getShell("HistoryStyle")) |
61 Preferences.getShell("HistoryStyle").value) |
62 self.shellHistoryStyleComboBox.setCurrentIndex(index) |
62 self.shellHistoryStyleComboBox.setCurrentIndex(index) |
63 self.shellHistoryWrapCheckBox.setChecked( |
63 self.shellHistoryWrapCheckBox.setChecked( |
64 Preferences.getShell("HistoryWrap")) |
64 Preferences.getShell("HistoryWrap")) |
65 self.shellHistoryCursorKeysCheckBox.setChecked( |
65 self.shellHistoryCursorKeysCheckBox.setChecked( |
66 Preferences.getShell("HistoryNavigateByCursor")) |
66 Preferences.getShell("HistoryNavigateByCursor")) |
96 Preferences.setShell( |
96 Preferences.setShell( |
97 "MaxHistoryEntries", |
97 "MaxHistoryEntries", |
98 self.shellHistorySpinBox.value()) |
98 self.shellHistorySpinBox.value()) |
99 Preferences.setShell( |
99 Preferences.setShell( |
100 "HistoryStyle", |
100 "HistoryStyle", |
101 self.shellHistoryStyleComboBox.currentData()) |
101 ShellHistoryStyle(self.shellHistoryStyleComboBox.currentData())) |
102 Preferences.setShell( |
102 Preferences.setShell( |
103 "HistoryWrap", |
103 "HistoryWrap", |
104 self.shellHistoryWrapCheckBox.isChecked()) |
104 self.shellHistoryWrapCheckBox.isChecked()) |
105 Preferences.setShell( |
105 Preferences.setShell( |
106 "HistoryNavigateByCursor", |
106 "HistoryNavigateByCursor", |