Author: sebb
Date: Thu Mar 10 19:22:33 2016
New Revision: 1734449
URL: http://svn.apache.org/viewvc?rev=1734449&view=rev
Log:
This method is in the RSyntaxText package
Modified:
jmeter/trunk/src/core/org/apache/jmeter/gui/util/JSyntaxTextArea.java
Modified: jmeter/trunk/src/core/org/apache/jmeter/gui/util/JSyntaxTextArea.java
URL:
http://svn.apache.org/viewvc/jmeter/trunk/src/core/org/apache/jmeter/gui/util/JSyntaxTextArea.java?rev=1734449&r1=1734448&r2=1734449&view=diff
==============================================================================
--- jmeter/trunk/src/core/org/apache/jmeter/gui/util/JSyntaxTextArea.java
(original)
+++ jmeter/trunk/src/core/org/apache/jmeter/gui/util/JSyntaxTextArea.java Thu
Mar 10 19:22:33 2016
@@ -40,8 +40,8 @@ public class JSyntaxTextArea extends RSy
private static final boolean LINE_WRAP =
JMeterUtils.getPropDefault("jsyntaxtextarea.linewrap", true);
private static final boolean CODE_FOLDING =
JMeterUtils.getPropDefault("jsyntaxtextarea.codefolding", true);
private static final int MAX_UNDOS =
JMeterUtils.getPropDefault("jsyntaxtextarea.maxundos", 50);
- private static final String USER_FONT_FAMILY =
JMeterUtils.getPropDefault("jsyntaxtextarea.font.family",
JSyntaxTextArea.getDefaultFont().getName());
- private static final int USER_FONT_SIZE =
JMeterUtils.getPropDefault("jsyntaxtextarea.font.size",
JSyntaxTextArea.getDefaultFont().getSize());
+ private static final String USER_FONT_FAMILY =
JMeterUtils.getPropDefault("jsyntaxtextarea.font.family",
RSyntaxTextArea.getDefaultFont().getName());
+ private static final int USER_FONT_SIZE =
JMeterUtils.getPropDefault("jsyntaxtextarea.font.size",
RSyntaxTextArea.getDefaultFont().getSize());
@Deprecated
public JSyntaxTextArea() {
