From: <dal...@us...> - 2015-05-27 16:37:23
|
Revision: 23930 http://sourceforge.net/p/jedit/svn/23930 Author: daleanson Date: 2015-05-27 16:37:20 +0000 (Wed, 27 May 2015) Log Message: ----------- Added Makarius' fix for tree row height at the PLAF level so plugins don't need to be adjusted individually. Modified Paths: -------------- jEdit/trunk/org/gjt/sp/jedit/jEdit.java Modified: jEdit/trunk/org/gjt/sp/jedit/jEdit.java =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/jEdit.java 2015-05-24 22:24:48 UTC (rev 23929) +++ jEdit/trunk/org/gjt/sp/jedit/jEdit.java 2015-05-27 16:37:20 UTC (rev 23930) @@ -3936,6 +3936,8 @@ defaults.remove("SplitPane.border"); defaults.remove("SplitPaneDivider.border"); + + defaults.put("Tree.rowHeight", 0); JFrame.setDefaultLookAndFeelDecorated( getBooleanProperty("decorate.frames")); This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |