Re: [ jEdit-announce ] jEdit 5.4.0 is out!

A small comment (and a big thanks!), which may be helpful to other 
Windows users.

I installed it on Windows 10.  I routinely run under a non-admin 
account, but of course I had to do the installation using an admin 
account (which Windows calls "run as Administrator", sort of like sudo). 
  Win10 didn't want to let me install it even then, because it didn't 
come from the Windows Store, but clicking on the "more information" 
revealed an "install anyway" button.

At the end of the installation, there were three check boxes, one of 
which was "Start jEdit."  I left that clicked, but when it started up, 
it was "stock"--none of the UI edits I had made (like turning off the 
toolbar and the hints that show at startup).

I was about to write a complaint to this mailing list when I realized 
the auto-startup had used the settings in the Admin account, not my 
regular user account.  And of course it runs with all my personal 
settings under the user account.

So no complaints!
-- 
    Mike Maxwell
    "My definition of an interesting universe is
    one that has the capacity to study itself."
          --Stephen Eastmond

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users