private void showLog_settingsButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_showLog_settingsButtonActionPerformed
        if (debug)        
            logger.log(Level.DEBUG, "Setting preference \"showLog\" from " + settings.showLog() + " to " + showLog_settingsButton.isSelected());
        settings.setShowLog(showLog_settingsButton.isSelected());
    }//GEN-LAST:event_showLog_settingsButtonActionPerformed