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);
}
}
