src/eric7/Preferences/ConfigurationDialog.py

branch
eric7
changeset 10135
36839e2c6945
parent 10132
66c11ab8fefd
child 10373
093dcebe5ecb
--- a/src/eric7/Preferences/ConfigurationDialog.py	Tue Jul 25 13:14:27 2023 +0200
+++ b/src/eric7/Preferences/ConfigurationDialog.py	Tue Jul 25 16:41:52 2023 +0200
@@ -960,13 +960,90 @@
                     None,
                     None,
                 ],
-                "shellPage": [
+                "0shellPage": [
                     self.tr("Shell"),
                     "preferences-shell",
                     "ShellPage",
                     None,
                     None,
                 ],
+                "editorGeneralPage": [
+                    self.tr("General"),
+                    "preferences-general",
+                    "EditorGeneralPage",
+                    "0shellPage",
+                    None,
+                ],
+                "editorSearchPage": [
+                    self.tr("Searching"),
+                    "preferences-search",
+                    "EditorSearchPage",
+                    "0shellPage",
+                    None,
+                ],
+                "editorStylesPage": [
+                    self.tr("Style"),
+                    "preferences-styles",
+                    "EditorStylesPage",
+                    "0shellPage",
+                    None,
+                ],
+                "1editorAutocompletionPage": [
+                    self.tr("Autocompletion"),
+                    "preferences-autocompletion",
+                    "EditorAutocompletionPage",
+                    "0shellPage",
+                    None,
+                ],
+                "editorAutocompletionQScintillaPage": [
+                    self.tr("QScintilla"),
+                    "qscintilla",
+                    "EditorAutocompletionQScintillaPage",
+                    "1editorAutocompletionPage",
+                    None,
+                ],
+                "1editorCalltipsPage": [
+                    self.tr("Calltips"),
+                    "preferences-calltips",
+                    "EditorCalltipsPage",
+                    "0shellPage",
+                    None,
+                ],
+                "editorCalltipsQScintillaPage": [
+                    self.tr("QScintilla"),
+                    "qscintilla",
+                    "EditorCalltipsQScintillaPage",
+                    "1editorCalltipsPage",
+                    None,
+                ],
+                "1editorLexerPage": [
+                    self.tr("Highlighters"),
+                    "preferences-highlighting-styles",
+                    None,
+                    "0shellPage",
+                    None,
+                ],
+                "editorHighlightingStylesPage": [
+                    self.tr("Styles"),
+                    "preferences-highlighting-styles",
+                    "EditorHighlightingStylesPage",
+                    "1editorLexerPage",
+                    None,
+                ],
+                "editorKeywordsPage": [
+                    self.tr("Keywords"),
+                    "preferences-keywords",
+                    "EditorKeywordsPage",
+                    "1editorLexerPage",
+                    None,
+                ],
+                "editorPropertiesPage": [
+                    self.tr("Properties"),
+                    "preferences-properties",
+                    "EditorPropertiesPage",
+                    "1editorLexerPage",
+                    None,
+                ],
             }
 
         else:

eric ide

mercurial