From: <jed...@te...> - 2015-08-14 12:28:00
|
jEdit_trunk - Build # 139 - Successful: Changes for Build #139 [makarius] Re-use helpviewer.font for Tip-of-the-Day, which helps GUI scaling (for high resolution displays). Artifacts can be downloaded here: http://www.tellurianring.com/projects/jedit-daily/index.php?dir=jEdit%2F139 |