diff -r f99d60d6b59b -r 2602857055c5 eric6/Preferences/ConfigurationPages/ApplicationPage.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/eric6/Preferences/ConfigurationPages/ApplicationPage.py Sun Apr 14 15:09:21 2019 +0200
@@ -0,0 +1,158 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2006 - 2019 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing the Application configuration page.
+"""
+
+from __future__ import unicode_literals
+
+from .ConfigurationPageBase import ConfigurationPageBase
+from .Ui_ApplicationPage import Ui_ApplicationPage
+
+import Preferences
+import Globals
+
+
+class ApplicationPage(ConfigurationPageBase, Ui_ApplicationPage):
+ """
+ Class implementing the Application configuration page.
+ """
+ def __init__(self):
+ """
+ Constructor
+ """
+ super(ApplicationPage, self).__init__()
+ self.setupUi(self)
+ self.setObjectName("ApplicationPage")
+
+ self.backgroundServicesLabel.setText(self.tr(
+ "eric is using background services for certain things like"
+ " syntax checks or code style checks. Per default the number"
+ " of processes to use for these checks is determined"
+ " automatically based on the number of CPUs. Please note, that"
+ " this is an advanced setting."
+ ))
+
+ # set initial values
+ self.singleApplicationCheckBox.setChecked(
+ Preferences.getUI("SingleApplicationMode"))
+ self.splashScreenCheckBox.setChecked(
+ Preferences.getUI("ShowSplash"))
+ self.crashSessionEnabledCheckBox.setChecked(
+ Preferences.getUI("CrashSessionEnabled"))
+ self.globalMenuCheckBox.setChecked(
+ Preferences.getUI("UseNativeMenuBar"))
+ if not Globals.isLinuxPlatform():
+ self.globalMenuCheckBox.hide()
+
+ openOnStartup = Preferences.getUI("OpenOnStartup")
+ if openOnStartup == 0:
+ self.noOpenRadioButton.setChecked(True)
+ elif openOnStartup == 1:
+ self.lastFileRadioButton.setChecked(True)
+ elif openOnStartup == 2:
+ self.lastProjectRadioButton.setChecked(True)
+ elif openOnStartup == 3:
+ self.lastMultiprojectRadioButton.setChecked(True)
+ elif openOnStartup == 4:
+ self.globalSessionRadioButton.setChecked(True)
+ self.openCrashSessionCheckBox.setChecked(
+ Preferences.getUI("OpenCrashSessionOnStartup"))
+
+ period = Preferences.getUI("PerformVersionCheck")
+ if period == 0:
+ self.noCheckRadioButton.setChecked(True)
+ elif period == 1:
+ self.alwaysCheckRadioButton.setChecked(True)
+ elif period == 2:
+ self.dailyCheckRadioButton.setChecked(True)
+ elif period == 3:
+ self.weeklyCheckRadioButton.setChecked(True)
+ elif period == 4:
+ self.monthlyCheckRadioButton.setChecked(True)
+
+ self.systemEmailClientCheckBox.setChecked(
+ Preferences.getUser("UseSystemEmailClient"))
+
+ self.errorlogCheckBox.setChecked(
+ Preferences.getUI("CheckErrorLog"))
+
+ self.intervalSpinBox.setValue(
+ Preferences.getUI("KeyboardInputInterval"))
+
+ self.backgroundServicesSpinBox.setValue(
+ Preferences.getUI("BackgroundServiceProcesses"))
+
+ def save(self):
+ """
+ Public slot to save the Application configuration.
+ """
+ Preferences.setUI(
+ "SingleApplicationMode",
+ self.singleApplicationCheckBox.isChecked())
+ Preferences.setUI(
+ "ShowSplash",
+ self.splashScreenCheckBox.isChecked())
+ Preferences.setUI(
+ "CrashSessionEnabled",
+ self.crashSessionEnabledCheckBox.isChecked())
+ if Globals.isLinuxPlatform():
+ Preferences.setUI(
+ "UseNativeMenuBar",
+ self.globalMenuCheckBox.isChecked())
+
+ if self.noOpenRadioButton.isChecked():
+ openOnStartup = 0
+ elif self.lastFileRadioButton.isChecked():
+ openOnStartup = 1
+ elif self.lastProjectRadioButton.isChecked():
+ openOnStartup = 2
+ elif self.lastMultiprojectRadioButton.isChecked():
+ openOnStartup = 3
+ elif self.globalSessionRadioButton.isChecked():
+ openOnStartup = 4
+ Preferences.setUI("OpenOnStartup", openOnStartup)
+ Preferences.setUI("OpenCrashSessionOnStartup",
+ self.openCrashSessionCheckBox.isChecked())
+
+ if self.noCheckRadioButton.isChecked():
+ period = 0
+ elif self.alwaysCheckRadioButton.isChecked():
+ period = 1
+ elif self.dailyCheckRadioButton.isChecked():
+ period = 2
+ elif self.weeklyCheckRadioButton.isChecked():
+ period = 3
+ elif self.monthlyCheckRadioButton.isChecked():
+ period = 4
+ Preferences.setUI("PerformVersionCheck", period)
+
+ Preferences.setUser(
+ "UseSystemEmailClient",
+ self.systemEmailClientCheckBox.isChecked())
+
+ Preferences.setUI(
+ "CheckErrorLog",
+ self.errorlogCheckBox.isChecked())
+
+ Preferences.setUI(
+ "KeyboardInputInterval",
+ self.intervalSpinBox.value())
+
+ Preferences.setUI(
+ "BackgroundServiceProcesses",
+ self.backgroundServicesSpinBox.value())
+
+
+def create(dlg):
+ """
+ Module function to create the configuration page.
+
+ @param dlg reference to the configuration dialog
+ @return reference to the instantiated page (ConfigurationPageBase)
+ """
+ page = ApplicationPage()
+ return page
