[Thuban-list] Session tree/Legend: toggles?

[Bernhard Herzog]

Jan-Oliver Wagner <jan at intevation.de> writes:

> On Fri, Apr 04, 2003 at 05:11:18PM +0200, Jan-Oliver Wagner wrote:
> > I wonder whether it would be nice to make the
> > menu items "Show Session Tree" and "Show Legend"
> > toggleable menu items "Session Tree" and "Legend"
> > (and without a separator between them).
> > 
> > I tend to say yes - what is your opinion?
> 
> since no complaints arrived, we'll go for toggleable items :-)

And it's already in CVS :)

The commands in question have been renamed to toggle_session_tree and
toggle_legend.

   Bernhard

-- 
Intevation GmbH                                 http://intevation.de/
Sketch                                 http://sketch.sourceforge.net/
MapIt!                                           http://www.mapit.de/