10.2025

2025-10-24 14:58:53 +02:00
parent c406748817
commit fb9b13eead
27 changed files with 323 additions and 58 deletions
@@ -5,6 +5,7 @@ import ch.psi.pshell.sequencer.CommandSource;
 import ch.psi.pshell.sequencer.Sequencer;
 import ch.psi.pshell.utils.State;
 import ch.psi.pshell.swing.SwingUtils;
+import ch.psi.pshell.utils.State.StateException;
 import java.awt.Component;
 import java.util.logging.Level;
 import java.util.logging.Logger;
@@ -288,7 +289,7 @@ public class XPEEM_Settings extends Panel {
                } finally{
                    try {
                        Context.getSequencer().endExecution();
-                    } catch (Sequencer.StateException ex) {
+                    } catch (StateException ex) {
                        getLogger().log(Level.SEVERE, null, ex);
                    }
                }