On Sat, 29 Dec 2007, Sven Schreiber wrote:
Am 29.12.2007 17:25, Allin Cottrell schrieb:
> One thing that may be worth doing: move the choice of the "gretl user
> directory" (that is, "workdir" under the new scheme) from
/Tools/Preferences
> to the File menu. It could be relabeled as something like "/File/Set
> working directory".
>
> The point is that it would be more readily accessible, and also the user
> might get the idea that changing the working directory is just a regular
> file operation and not such a big deal -- which indeed it's not, now that
> we've separated out "dotdir".
I think that's a very good idea; maybe the menu entry could even
get a submenu with a list of recently used directories, similar
to the submenu for File/Script files. Then it would be
"lightning-fast" to switch from one project dir to another.
Nice refinement! I've put this into CVS and a new Windows
snapshot.
I wonder, does this now make redundant the current switch
(under /Tools/Preferences/File Open/Save):
Use gretl user directory as default /
Use current working directory as default
At least this item will have to reworded, since "current working
directory" will now suggest the directory selected under
/File/Working directory, not the shell-based CWD. But perhaps it
should be removed?
An alternative, for the benefit of unix-y users, would be to scrap
the "File Open/Save" tab (which now has only one item) but to add
a checkbox under "General" -- something like "Set working
directory from shell" (?)
Allin