diff -r abe6dd39e4ee -r cada9fd4ad3a eric6/Preferences/ConfigurationPages/ApplicationPage.py
--- a/eric6/Preferences/ConfigurationPages/ApplicationPage.py Sun Oct 27 15:58:57 2019 +0100
+++ b/eric6/Preferences/ConfigurationPages/ApplicationPage.py Sun Oct 27 18:09:46 2019 +0100
@@ -35,6 +35,11 @@
" this is an advanced setting."
))
+ self.msgSeverityComboBox.addItem(self.tr("Debug"), 0)
+ self.msgSeverityComboBox.addItem(self.tr("Warning"), 1)
+ self.msgSeverityComboBox.addItem(self.tr("Critical"), 2)
+ self.msgSeverityComboBox.addItem(self.tr("Fatal Error"), 3)
+
# set initial values
self.singleApplicationCheckBox.setChecked(
Preferences.getUI("SingleApplicationMode"))
@@ -78,6 +83,9 @@
self.errorlogCheckBox.setChecked(
Preferences.getUI("CheckErrorLog"))
+ severityIndex = self.msgSeverityComboBox.findData(
+ Preferences.getUI("MinimumMessageTypeSeverity"))
+ self.msgSeverityComboBox.setCurrentIndex(severityIndex)
self.intervalSpinBox.setValue(
Preferences.getUI("KeyboardInputInterval"))
@@ -136,6 +144,9 @@
Preferences.setUI(
"CheckErrorLog",
self.errorlogCheckBox.isChecked())
+ Preferences.setUI(
+ "MinimumMessageTypeSeverity",
+ self.msgSeverityComboBox.currentData())
Preferences.setUI(
"KeyboardInputInterval",
