void notifyStopped() { if (embedder != null && embedder.isActive()) { for (int i = strokes.size() - 1; i >= 0; i--) { embedder.unregisterAccelerator(i); } } }
void unregisterAccelerator(AWTKeyStroke stroke) { if (stroke == null) return; if (embedder != null && embedder.isActive()) { int index = strokes.indexOf(stroke); embedder.unregisterAccelerator(index); } }