code: private void menuEditMenuSelected(javax.swing.event.MenuEvent evt) {//GEN-FIRST:event_menuEditMenuSelected
      final TabTitle title = this.getFocusedTab();
      updateMenuItemsForProvider(title == null ? null : title.getProvider());
      this.menuEditShowTreeContextMenu.setEnabled(this.explorerTree.hasSelectedItem());
    }
docs: GEN-LAST:event_menuFindTextActionPerformed