eric7/Preferences/ConfigurationPages/EditorCallTipsJediPage.py

Sat, 11 Sep 2021 19:47:02 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 11 Sep 2021 19:47:02 +0200
branch
eric7
changeset 8593
1d66b6af60ed
child 8881
54e42bc2437a
permissions
-rw-r--r--

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 Calltips configuration page.
"""

from Preferences.ConfigurationPages.ConfigurationPageBase import (
    ConfigurationPageBase
)
from .Ui_EditorCallTipsJediPage import Ui_EditorCallTipsJediPage

import Preferences


class EditorCallTipsJediPage(ConfigurationPageBase, Ui_EditorCallTipsJediPage):
    """
    Class implementing the Jedi Calltips configuration page.
    """
    def __init__(self):
        """
        Constructor
        """
        super().__init__()
        self.setupUi(self)
        self.setObjectName("EditorCallTipsJediPage")
        
        # set initial values
        self.jediCalltipsCheckBox.setChecked(
            Preferences.getJedi("JediCalltipsEnabled"))
        
    def save(self):
        """
        Public slot to save the Jedi Calltips configuration.
        """
        Preferences.setJedi(
            "JediCalltipsEnabled", self.jediCalltipsCheckBox.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 = EditorCallTipsJediPage()
    return page

eric ide

mercurial