Re: changed file while editing

["Roy J. Tellason, Sr." <roy@rtellason.com>]

On Saturday 11 December 2021 02:39:06 pm David Wright wrote:
> Another facility that I don't use is "click-to-focus", because
> I prefer to focus a window just by shoving the mouse inside it
> (no precision required).

I prefer this as well.  Where is this set?

-- 
Member of the toughest, meanest, deadliest, most unrelenting -- and
ablest -- form of life in this section of space,  a critter that can
be killed but can't be tamed.  --Robert A. Heinlein, "The Puppet Masters"
-
Information is more dangerous than cannon to a society ruled by lies. --James 
M Dakin