private void buttonOpenShortcutEditorActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_buttonOpenShortcutEditorActionPerformed
    final List<KeyShortcut> list = new ArrayList<>();
    for (final Map.Entry<String, KeyShortcut> e : this.mapKeyShortCuts.entrySet()) {
      list.add(e.getValue());
    }
    final KeyShortCutEditPanel panel = new KeyShortCutEditPanel(list);
    if (DialogProviderManager.getInstance().getDialogProvider().msgOkCancel(this, "Edit shortcuts", panel)) {
      for (final KeyShortcut s : panel.getResult()) {
        this.mapKeyShortCuts.put(s.getID(), s);
      }
      if (this.changeNotificationAllowed) {
        this.changed = true;
      }
    }
  }
private void buttonOpenShortcutEditorActionPerformed ( java . awt . event . ActionEvent evt ) { final List < KeyShortcut > list = new ArrayList < > ( ) ; for ( final Map . Entry < String , KeyShortcut > e : this . mapKeyShortCuts . entrySet ( ) ) { list . add ( e . getValue ( ) ) ; } final KeyShortCutEditPanel panel = new KeyShortCutEditPanel ( list ) ; if ( DialogProviderManager . getInstance ( ) . getDialogProvider ( ) . msgOkCancel ( this , "Edit shortcuts" , panel ) ) { for ( final KeyShortcut s : panel . getResult ( ) ) { this . mapKeyShortCuts . put ( s . getID ( ) , s ) ; } if ( this . changeNotificationAllowed ) { this . changed = true ; } } }
GEN-LAST:event_spinnerJumpLinkWidthStateChanged