Class ProgrammerConfigManager

    • Method Detail

      • getRequires

        @Nonnull
        public java.util.Set<java.lang.Class<? extends PreferencesManager>> getRequires()
        Description copied from class: AbstractPreferencesManager
        Get the set of PreferencesManagers that must be initialized prior to initializing this PreferencesManager. It is generally preferable to require an Interface or an abstract Class instead of a concrete Class, since that allows all (or any) concrete implementations of the required class to be initialized to provide required services for the requiring PreferencesManager instance.

        Note that for any set of PreferencesManagers with the same requirements, or with a circular dependency between each other, the order in which the PreferencesManagers in that set are initialized should be considered non-deterministic.

        This implementation includes a default dependency on the ConnectionConfigManager.

        Specified by:
        getRequires in interface PreferencesManager
        Overrides:
        getRequires in class AbstractPreferencesManager
        Returns:
        An set of classes; if there are no dependencies, return an empty set instead of null; overriding implementations may add to this set directly
      • getProvides

        @Nonnull
        public java.util.Set<java.lang.Class<?>> getProvides()
        Description copied from class: AbstractPreferencesManager
        Get the set of Classes that this PreferencesManager can be registered as a provider of in the InstanceManager.

        This implementation returns the class of the object against which this method is called.

        Specified by:
        getProvides in interface PreferencesManager
        Overrides:
        getProvides in class AbstractPreferencesManager
        Returns:
        A set or list of classes. If this PreferencesManager provides an instance of no other Interfaces or abstract Classes than PreferencesManager, return an empty set instead of null.
      • savePreferences

        public void savePreferences​(Profile profile)
        Description copied from interface: PreferencesManager
        Save the preferences that this provider manages for the provided Profile.
        Parameters:
        profile - the profile associated with the preferences to save; may be null to save preferences that apply to the current user regardless of profile
      • getDefaultFile

        public java.lang.String getDefaultFile()
        Returns:
        the defaultFile
      • setDefaultFile

        public void setDefaultFile​(java.lang.String defaultFile)
        Parameters:
        defaultFile - the defaultFile to set
      • isShowEmptyPanes

        public boolean isShowEmptyPanes()
        Returns:
        the showEmptyPanes
      • setShowEmptyPanes

        public void setShowEmptyPanes​(boolean showEmptyPanes)
        Parameters:
        showEmptyPanes - the showEmptyPanes to set
      • isShowCvNumbers

        public boolean isShowCvNumbers()
        Returns:
        the showCvNumbers
      • setShowCvNumbers

        public void setShowCvNumbers​(boolean showCvNumbers)
        Parameters:
        showCvNumbers - the showCvNumbers to set
      • isCanCacheDefault

        public boolean isCanCacheDefault()
        Returns:
        the canCacheDefault
      • setCanCacheDefault

        public void setCanCacheDefault​(boolean canCacheDefault)
        Parameters:
        canCacheDefault - new value
      • isDoConfirmRead

        public boolean isDoConfirmRead()
        Returns:
        the doConfirmRead
      • setDoConfirmRead

        public void setDoConfirmRead​(boolean doConfirmRead)
        Parameters:
        doConfirmRead - new value