On 02/12/2011 07:06 AM, Jürgen Spitzmüller wrote:
Jürgen Spitzmüller wrote:
We could also merge the uiflags into the flags, but I feel that the two
should be separated internally.
After thinking a bit more, I think it's OK to use flags_ for all. The patch is
now really small. I'll commit the attached if I get no objections.
So, one last question, which arose as I was thinking what should be done
here for prefs2prefs. I take it that the default, at present, is for
things NOT to appear in the export menu, and that only if we have
menu=export will it. I do not understand what we're trying to accomplish
quite well enough to know what the right choice is here. But whichever
one it is, the question remains: What if anything needs to be done in
prefs2prefs, so that (e.g.) customized formats appear in the right
place? Or can we even tell?
Richard
