Hi!
This issue has not been fully resolved yet.
Allan and Lgb state that they don't think it's a good idea to use them in
1.0.1. Ok, I respect this, and suggest that we do this compromise, close to
what Allan suggests:
Release 1.0.1 without the menu separator in the docs (but keep the feature in
the program, where it's just not used.) After that, we update the cvs with the
menu separator, and 1.0.2 will have it in the docs.
Regarding translations: I think you are free to decide. Best would be to
follow the English version, and not use the new separators, but since the
German version already uses math to do something else, I see no trouble in
using the menu separators instead of those, if you like.
Regarding the formatting: Let's just decide that it should be File->Edit
without any spaces. If we want more spacing later, we can change the \lyxarrow
macro and automatically get that without touching the docs. (Notice that the
other way around: Removing unwanted space from the docs is harder.)
So Amir, could you enhance the super-cool script to change it to this canonical
format? Then after 1.0.1 somebody will run it on the docs, and everybody will
be happy.
Does anybody disagree with this setup?
Greets,
Asger
