Re: [Exist-development] Tool Window notes

[Joe W. <jo...@gm...>]

One more observation about the menu bar's Show Tool Window entry.
When the Tool Window is visible, "Show Tool Window" should change to
"Hide Tool Window".  Not sure if this is in our control or not...

And on the Tool Window itself, the icon labels are uneven - they seem
relative to the height of the icon, rather than anchored to the same
size.

Again, I think this Tool Window is a great idea.  These are just minor
things that I'm pointing out.

Joe