[cssed-devel] Flag name and other changes

[<mic...@ea...>]

It seems you have not seen this message:

Instead of "Flag" in menu, which has no trivial sense for the user,=20
woud not "Change tab color" be better (no need for Document, since it=20
is already in the Document menu)?

For example:

Change Tab background color instead of Flag
Revert to original colour instead of Clear Flag

And I wonder if it has its place in Document as well as Document List,=20=

since normally all items in Document refer to the active document, not=20=

to the editor in general.

Maybe in View?

What do you think of it?

Mich=E8le
<http://micmacfr.homeunix.org>=