333334335336337338339340341342343
&& !selectedCellBounds.contains(evt.getPoint())) return; } ScriptID id = (ScriptID) scripts.elementAt(selectedIndex); id.display(); if (clearSelection) scriptList.clearSelection(); }
174175176177178179180181182183184
protected void showSelectedScript() { int selectedIndex = list.getMinSelectionIndex(); if (selectedIndex == -1) return; ScriptID id = (ScriptID) scriptList.elementAt(selectedIndex); id.display(); if (!keepDialogOpen) dispose(); }