From: <ez...@us...> - 2014-09-18 19:17:23
|
Revision: 23677 http://sourceforge.net/p/jedit/svn/23677 Author: ezust Date: 2014-09-18 19:17:18 +0000 (Thu, 18 Sep 2014) Log Message: ----------- tabsize=4, indentsize=4 removed some gui props from jedit.props Modified Paths: -------------- jEdit/trunk/org/gjt/sp/jedit/jedit.props jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props Modified: jEdit/trunk/org/gjt/sp/jedit/jedit.props =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/jedit.props 2014-09-18 00:12:57 UTC (rev 23676) +++ jEdit/trunk/org/gjt/sp/jedit/jedit.props 2014-09-18 19:17:18 UTC (rev 23677) @@ -1,6 +1,6 @@ ### ### jEdit global properties -### :tabSize=8:indentSize=8:noTabs=false: +### :tabSize=4:indentSize=4:noTabs=false: ### :folding=explicit:collapseFolds=1: ### :encoding=UTF-8: ### @@ -162,10 +162,10 @@ buffer.encodingAutodetect=true # Tab width -buffer.tabSize=8 +buffer.tabSize=4 # Indent width -buffer.indentSize=8 +buffer.indentSize=4 # Automatic indentation buffer.autoIndent=full @@ -399,10 +399,6 @@ view.style.operator=color:#000000 style:b #}}} -# Fancy Java2D stuff -view.antiAlias=false -view.fracFontMetrics=false - # Docking and tool bar positioning view.docking.alternateLayout=false # "alternate" is actually closer to standard location IMHO... Modified: jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props 2014-09-18 00:12:57 UTC (rev 23676) +++ jEdit/trunk/org/gjt/sp/jedit/jedit_gui.props 2014-09-18 19:17:18 UTC (rev 23677) @@ -1,6 +1,6 @@ ### ### jEdit user interface definitions, -### :tabSize=8:indentSize=8:noTabs=false: +### :tabSize=4:indentSize=4:noTabs=false: ### :folding=explicit:collapseFolds=1: ### :encoding=UTF-8: ### @@ -903,6 +903,10 @@ # Enable subpixel antialiasing by default in textarea. view.antiAlias=subpixel HRGB + +# Fancy Java2D stuff +view.fracFontMetrics=false + #}}} #{{{ File System Browser panes This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |