jedit Updater changes

German language update

Robert Schwenn — Sun, 08 May 2022 12:03:15 -0000

German language update
View Changes

Version fixup.

Alan Ezust — Tue, 09 Jan 2018 02:44:35 -0000

Version fixup.
View Changes

Remove installation dir from option pane.

Alan Ezust — Tue, 09 Jan 2018 02:44:35 -0000

Remove installation dir from option pane.
View Changes

Fixed combobox selection bug. wrong property.

Alan Ezust — Thu, 28 Dec 2017 17:55:33 -0000

Fixed combobox selection bug. wrong property.
View Changes

Removal of old things from doc.

Alan Ezust — Thu, 28 Dec 2017 16:27:22 -0000

Removal of old things from doc.
View Changes

Set encoding for index.html now that we got funny characters in it.

Alan Ezust — Thu, 28 Dec 2017 16:22:03 -0000

Set encoding for index.html now that we got funny characters in it.
View Changes

Version Bump.

Alan Ezust — Thu, 28 Dec 2017 16:10:13 -0000

Version Bump. Attempt to restore/save default source for the select source action.
View Changes

Remove unused imports.

Alan Ezust — Thu, 28 Dec 2017 16:10:13 -0000

Remove unused imports.
View Changes

Improving labels, reorganizing option pane.

Alan Ezust — Sun, 16 Jul 2017 19:57:57 -0000

Improving labels, reorganizing option pane.
View Changes

fix downloading of stable releases which was broken when local was german and additionally due to http -> https forwarding that was not followed automatically

Björn Kautler — Tue, 04 Apr 2017 00:23:21 -0000

fix downloading of stable releases which was broken when local was german and additionally due to http -> https forwarding that was not followed automatically
View Changes