On Friday, January 06, 2023 04:17:18 PM 'Neil Hodgson' via scite-interest
wrote:
> seasoned_geek:
> SciTE is trying to save the file (perhaps because of "save.on.timer").
> However, the modified time on the file is different to when it was last
> loaded or saved so you may have edited it in another application. In case
> that version is more important, it asks whether to save over that version.
> This is controlled with the "save.check.modified.time" property.
I wonder what OS seasoned_geek is using. ISTR one (or more) versions of
Windows that could only store the (modified) time of a file to a limited
precision (perhaps it was 2 seconds).
If an OS is doing this (or something similar) it could contribute to the
problem.
--
rhk
(sig revised 20221206)
If you reply: snip, snip, and snip again; leave attributions; avoid HTML;
avoid top posting; and keep it "on list". (Oxford comma (and semi-colon)
included at no charge.) If you revise the topic, change the Subject: line.
If you change the topic, start a new thread.
Writing is often meant for others to read and understand (legal documents
excepted?) -- make it easier for your reader by various means, including
liberal use of whitespace (short paragraphs, separated by whitespace / blank
lines) and minimal use of (obscure?) jargon, abbreviations, acronyms, and
references.
If someone has already responded to a question, decide whether any response
you add will be helpful or not ...
A picture is worth a thousand words. A video (or "audio"): not so much --
divide by 10 for each minute of video (or audio) or create a transcript and
edit it to 10% of the original.
A speaker who uses ahhs, ums, or such may have a real physical or mental
disability, or may be showing disrespect for his listeners by not properly
preparing in advance and thinking before speaking. (Remember Cicero who did
not have enough time to write a short missive.) (That speaker might have been
"trained" to do this by being interrupted often if he pauses.)
A radio (or TV) station which broadcasts speakers with high pitched voices (or
very low pitched / gravelly voices) (which older people might not be able to
hear properly) disrespects its listeners. Likewise if it broadcasts
extraneous or disturbing sounds (like gunfire or crying), or broadcasts
speakers using their native language (with or without an overdubbed
translation).
A person who writes a sig this long probably has issues and disrespects (and
offends) a large number of readers. ;-)
'