private void jMenuItemShowPreferencesActionPerformed(
java.awt.event.ActionEvent evt) // GEN-FIRST:event_jMenuItemShowPreferencesActionPerformed
{ // GEN-HEADEREND:event_jMenuItemShowPreferencesActionPerformed
PreferencesDialog.showPreferencesDialog(this, this.thePrefs);
} // GEN-LAST:event_jMenuItemShowPreferencesActionPerformed
