diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-02 12:54:08 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-02 12:54:08 -0500 |
| commit | 3cffab767672f518757f9c797cb4ef8280eb981d (patch) | |
| tree | dda157daca4878eb5cb91dafe7ede05dface6942 /libre/jedit/jedit.props | |
| parent | 231a1da7f46df7f9dc2b7f18217954f38b2f11f0 (diff) | |
| download | abslibre-3cffab767672f518757f9c797cb4ef8280eb981d.tar.gz abslibre-3cffab767672f518757f9c797cb4ef8280eb981d.tar.bz2 abslibre-3cffab767672f518757f9c797cb4ef8280eb981d.zip | |
jedit-5.3.0-4.parabola1: rebuild
Diffstat (limited to 'libre/jedit/jedit.props')
| -rw-r--r-- | libre/jedit/jedit.props | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libre/jedit/jedit.props b/libre/jedit/jedit.props index 022ffba5e..a712b9686 100644 --- a/libre/jedit/jedit.props +++ b/libre/jedit/jedit.props @@ -14,8 +14,9 @@ buffer.maxLineLen=99 icon-theme=tango lookAndFeel=com.sun.java.swing.plaf.gtk.GTKLookAndFeel view.fontsize=14 -view.font=Fira Mono +view.font=Noto Mono view.selectionFg=false +view.antiAlias=standard view.caretColor=\#333333 view.lineHighlightColor=\#deebfb view.thickCaret=false |