code: 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;
        }
      }
    }
docs: GEN-LAST:event_spinnerJumpLinkWidthStateChanged