diff options
Diffstat (limited to 'scripting/java/com/sun/star/script/framework/provider/beanshell/PlainSourceView.java')
| -rw-r--r-- | scripting/java/com/sun/star/script/framework/provider/beanshell/PlainSourceView.java | 1 |
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 78459c2d0409..04ca755a6a72 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 @@ -175,6 +175,7 @@ class GlyphGutter extends JComponent { setSize(d); } + @Override public void paintComponent(Graphics g) { JTextArea textArea = view.getTextArea(); |