Package weka.gui

Class SettingsEditor

    • Method Detail

      • applyToSettings

        public void applyToSettings()
      • createSingleSettingsEditor

        public static SettingsEditor.SingleSettingsEditor createSingleSettingsEditor​(Map<Settings.SettingKey,​Object> settingsToEdit)
        Creates a single stand-alone settings editor panel
        Parameters:
        settingsToEdit - the settings to edit
        Returns:
        a single settings editor panel for the supplied settings
      • showSingleSettingsEditor

        public static int showSingleSettingsEditor​(Settings settings,
                                                   String settingsID,
                                                   String settingsName,
                                                   JComponent parent)
                                            throws IOException
        Popup a single panel settings editor dialog for one group of related settings
        Parameters:
        settings - the settings object containing (potentially) many groups of settings
        settingsID - the ID of the particular set of settings to edit
        settingsName - the name of this related set of settings
        parent - the parent window
        Returns:
        the result chosen by the user (JOptionPane.OK_OPTION or JOptionPanel.CANCEL_OPTION)
        Throws:
        IOException - if saving altered settings fails
      • showSingleSettingsEditor

        public static int showSingleSettingsEditor​(Settings settings,
                                                   String settingsID,
                                                   String settingsName,
                                                   JComponent parent,
                                                   int width,
                                                   int height)
                                            throws IOException
        Popup a single panel settings editor dialog for one group of related settings
        Parameters:
        settings - the settings object containing (potentially) many groups of settings
        settingsID - the ID of the particular set of settings to edit
        settingsName - the name of this related set of settings
        parent - the parent window
        width - the width for the dialog
        height - the height for the dialog
        Returns:
        the result chosen by the user (JOptionPane.OK_OPTION or JOptionPanel.CANCEL_OPTION)
        Throws:
        IOException - if saving altered settings fails
      • showApplicationSettingsEditor

        public static int showApplicationSettingsEditor​(Settings settings,
                                                        GUIApplication application)
                                                 throws IOException
        Popup a settings editor for an application
        Parameters:
        settings - the settings object for the application
        application - the application itself
        Returns:
        the result chosen by the user (JOptionPane.OK_OPTION or JOptionPanel.CANCEL)
        Throws:
        IOException - if saving altered settings fails