summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChirag Manwani <cmkmanwani@gmail.com>2016-02-17 02:52:45 +0530
committerSamuel Mehrbrodt <Samuel.Mehrbrodt@cib.de>2016-02-17 07:34:11 +0000
commit38969497cbccacf2999d92b06a85946c1f71be05 (patch)
tree3965b28621d53d50a39bf6ac09bda582a6e6e253
parentb0facbbedf42a02449d9f35bb4ac8bd7ec2d8917 (diff)
tdf#97640 Fixed-Width Font for Beanshell Editor
Change-Id: I809253a4f0481c825368d9c608cac77e64376aa0 Reviewed-on: https://gerrit.libreoffice.org/22404 Reviewed-by: Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de> Tested-by: Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de>
-rw-r--r--scripting/java/com/sun/star/script/framework/provider/beanshell/PlainSourceView.java1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripting/java/com/sun/star/script/framework/provider/beanshell/PlainSourceView.java b/scripting/java/com/sun/star/script/framework/provider/beanshell/PlainSourceView.java
index 34aac4cfe6ba..91e7b9144ca4 100644
--- a/scripting/java/com/sun/star/script/framework/provider/beanshell/PlainSourceView.java
+++ b/scripting/java/com/sun/star/script/framework/provider/beanshell/PlainSourceView.java
@@ -98,6 +98,7 @@ public class PlainSourceView extends JScrollPane implements
ta.setColumns(40);
ta.setLineWrap(false);
ta.insert(model.getText(), 0);
+ ta.setFont(new Font(Font.MONOSPACED, ta.getFont().getStyle(), ta.getFont().getSize()));
linecount = ta.getLineCount();
gg = new GlyphGutter(this);