private void themeSelector_settingsListValueChanged(javax.swing.event.ListSelectionEvent evt) {//GEN-FIRST:event_themeSelector_settingsListValueChanged
        if (themeSelector_settingsList.getSelectedValue() == null) return;
        if (((String) themeSelector_settingsList.getSelectedValue()).equals(settings.getLookAndFeel())) return;
        if (debug)        
            logger.log(Level.DEBUG, "Setting preference \"lookAndFeel\" from " + settings.getLookAndFeel() + " to " + themeSelector_settingsList.getSelectedValue().toString());
        settings.setLookAndFeel(themeSelector_settingsList.getSelectedValue().toString());
    }//GEN-LAST:event_themeSelector_settingsListValueChanged