[ jEdit-users ] Icon

[Richard B. <ric...@ro...>]

Attached: the jedit_icon2 icon in Windows icon format.

I have posted this because it's useful to Windows users who want to set
up a shortcut with the correct icon. Perhaps it should be distributed in
the jarfile.

Rick