Re: [Gretl-devel] GUI tweak
Am 13.07.2017 um 17:01 schrieb Allin Cottrell:
On Thu, 13 Jul 2017, Sven Schreiber wrote:
One other design question: at present there's a tooltip for the workdir
display, "Working directory". I'm thinking of making this more explicit:
"Working directory: click to configure". Helpful or redundant? Also:
should there be a check-box to turn off the tooltip once the user has
got the idea? (I imagine it could get annoying.)
Sorry, I think I'd have to see it.
-s