log

age author description
Sat, 20 Aug 2022 09:19:49 -0700 David Barts Work around annoying Swing glitch. default tip
Mon, 13 Jun 2022 11:31:49 -0700 David Barts Convert to JDK 15.
Mon, 13 Jun 2022 09:21:24 -0700 David Barts Remove dependence on Nashorn.
Fri, 25 Dec 2020 19:07:47 -0800 David Barts Add Linux support.
Fri, 25 Dec 2020 18:58:45 -0800 David Barts Standardize things for Linux packaging.
Sun, 13 Dec 2020 11:20:06 -0800 David Barts Fix Preferences bug, bump version number.