private void showProgressPanel(boolean show) {
		if (show) {
			progressPanel = monitor;
			mainPanel.add(progressPanel, BorderLayout.SOUTH);
			progressPanel.invalidate();
		}
		else if (progressPanel != null) {
			mainPanel.remove(progressPanel);
			progressPanel = null;
		}
		validate();
		repaint();
	}
Passing a value of <code>false</code> signals to disable the {@link JTree}'s default behavior
of showing handles for leaf nodes until they are opened.

@param enable False to disable the default JTree behavior
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/GTree.java