It looks like you're new here. If you want to get involved, click one of these buttons!
Editor Options (F3) is not working in all 0.30.4 to 0.30.7 builds
In 0.30.3 versions is working properly.
That problem was presented ans solved in previous builds. I don't know if it is the same bug or not.
Comments
What do you mean precisely by "does not work"?
I can't confirm that it's broken in general, but maybe the behavior got changed in a way you don't expect?
Matthias
P.S. it's better report bugs in GitHub's issue tracker (https://github.com/KLayout/klayout/issues)