Sat, 11 Sep 2021 19:47:02 +0200
Jedi: integrated the Assistant Jedi plugin as a fixed part of eric.
# -*- coding: utf-8 -*- # Copyright (c) 2015 - 2021 Detlev Offenbach <detlev@die-offenbachs.de> # """ Module implementing the Jedi Auto-completion configuration page. """ from Preferences.ConfigurationPages.ConfigurationPageBase import ( ConfigurationPageBase ) from .Ui_EditorAutoCompletionJediPage import Ui_EditorAutoCompletionJediPage import Preferences class EditorAutoCompletionJediPage(ConfigurationPageBase, Ui_EditorAutoCompletionJediPage): """ Class implementing the Jedi Auto-completion configuration page. """ def __init__(self): """ Constructor """ super().__init__() self.setupUi(self) self.setObjectName("EditorAutoCompletionJediPage") # set initial values self.jediAutocompletionCheckBox.setChecked( Preferences.getJedi("JediCompletionsEnabled")) self.jediFuzzyAutocompletionCheckBox.setChecked( Preferences.getJedi("JediFuzzyCompletionsEnabled")) def save(self): """ Public slot to save the Jedi Auto-completion configuration. """ Preferences.setJedi( "JediCompletionsEnabled", self.jediAutocompletionCheckBox.isChecked()) Preferences.setJedi( "JediFuzzyCompletionsEnabled", self.jediFuzzyAutocompletionCheckBox.isChecked()) 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 = EditorAutoCompletionJediPage() return page