On Sat, 1 Jun 2019, cruz.echevarria(a)ehu.eus wrote:
Please let me pose the following issue: the GUI does not seem to
display the date on which script files were last modified. Am I
right?
If I go to "File" -> "Script files" -> "User
file...", then I just
can see 3 columns: "Name", "Size" and "Modified". But the
last
column only shows time, but not date, which I think would be useful.
Is this a problem with my machine (running under Windows)? Is this
what it should be? Am I just looking at the wrong place?
You're not looking in the wrong place. But what version of gretl are
you running, and what version of Windows? I just tried with the 2019b
release (64-bit) on Windows 10 and last-modified dates are showing up
OK in the File Open dialogs.
These file dialogs are standard GTK widgets. I think they're supposed
to show the time (rather than date) of last modification only when the
file was modified in the current day. So if the files in question were
very recently modified, just seeing the time would be as per design.
Allin