Interface UserSettings

  • All Superinterfaces:
    ColorProvider, java.io.Serializable, Settings

    public interface UserSettings
    extends Settings
    Contains all user settings for color, visibility and export.
    Since:
    4.1
    • Method Detail

      • reset

        void reset()
            throws java.io.IOException
        Sets the user settings to default.
        Throws:
        java.io.IOException - if an error occurs via resetting the settings
        Since:
        4.1
      • save

        void save()
           throws java.io.IOException
        Stores all user settings.
        Throws:
        java.io.IOException - if an error occurs via storing the settings
        Since:
        4.1