This just came up again in issue1025. Since there is a decent workaround for
this, I'm leaving it as wont-fix, to avoid flag proliferation.
That said, it may be worth considering. Maybe this sort of flexibility would be
useful anyway (do we want to make it convenient for people to "try out" other
darcses on the server?), and besides, we now have a notion of advanced flags to
mitigate the ill effects of flag explosion.
Somebody should just submit a patch and see what David thinks :-) |