|Tags||text-editor java software-development|
5.4.021 Mar 2017 23:37 minor feature: * Use of Java 1.8 * Use of a new XML format for Plugin Manager, and proper following of redirects, resulting in a much improved plugin install experience * New Printing, updated for current versions of Java
ManageYou can also help out here by:
← Update project
or flagging this entry for moderator attention.