Tommaso Cucinotta wrote: > Imagine a user that hides by mistake, he/she would be lost to realize that a > double-click is needed to show back the options.
That's why the tooltip. > Would it be difficult to add a small button to the paned window buttons, that > allows for showing/hiding the extra features ? Well, the geometry is the problem. I usually use source in horizontal mode just to see very small sippet (few lines) so the vertical size is critical. Where do you want to put the 'hide' button without adding next row? The best I could find is to place some smallish button right to update button, but it wouldn't look like nice; try yourself ;) Pavel
