Method mousePressed

src/org/opensourcephysics/tools/Launcher.java:1016–1022

(MouseEvent e)

		});
		tab.tree.addMouseListener(new MouseAdapter() {
			@Override
			public void mousePressed(MouseEvent e) {
				if (splashDialog != null) {
					splashDialog.dispose();
				}
				tab.tree.removeMouseListener(this);
			}

		});
		tab.tree.addMouseListener(new MouseAdapter() {