Closed automata closed 6 years ago
related with #16
I don't have anything against the feature, but it might be less surprising/annoying if it were triggered by a button or a keyboard shortcut.
yes! you're right!
related with #16