913914915916917918919920921922923
public void actionPerformed(ActionEvent e) { if (currentEditor == null) return; Script script = currentEditor.script; try { script.stop(); } catch (EvalFailedException | ThreadDeath td) { /**/ } } }