docs: public boolean isParamPanelSelected(String panelName) {
          DefaultMutableTreeNode node = getTreeNodeFromPanelName(panelName);
          if (node != null) {
              return getTreeParam().isPathSelected(new TreePath(node.getPath()));
          }
          return false;
      }