diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-27 07:56:17 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-27 07:56:17 -0500 |
| commit | d3bead6e6ee8703915dcc7c501fd3e198899ba5c (patch) | |
| tree | e6c493754df3ed95d05e50775fc2d3abd00ffd50 /libre/jedit/jedit.props | |
| parent | 1cba537c2b57e0b3d656d257c8cec2750e0c41a6 (diff) | |
| download | abslibre-d3bead6e6ee8703915dcc7c501fd3e198899ba5c.tar.gz abslibre-d3bead6e6ee8703915dcc7c501fd3e198899ba5c.tar.bz2 abslibre-d3bead6e6ee8703915dcc7c501fd3e198899ba5c.zip | |
jedit: add new package to [libre]
Diffstat (limited to 'libre/jedit/jedit.props')
| -rw-r--r-- | libre/jedit/jedit.props | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/libre/jedit/jedit.props b/libre/jedit/jedit.props new file mode 100644 index 000000000..022ffba5e --- /dev/null +++ b/libre/jedit/jedit.props @@ -0,0 +1,62 @@ +# --- Arch Linux defaults for jEdit --- +# +# Just remove this file (~/.jedit/properties) to use the original jEdit defaults. +# +# startup +firstTime=false +tip.show=false +# buffers +buffer.tabSize=4 +buffer.indentSize=4 +buffer.encoding=UTF-8 +buffer.maxLineLen=99 +# look and feel, fonts and colors +icon-theme=tango +lookAndFeel=com.sun.java.swing.plaf.gtk.GTKLookAndFeel +view.fontsize=14 +view.font=Fira Mono +view.selectionFg=false +view.caretColor=\#333333 +view.lineHighlightColor=\#deebfb +view.thickCaret=false +view.selectionFgColor=\#000000 +view.extendedState=0 +view.wrapGuideColor=\#dedede +view.structureHighlightColor=\#3d9bc4 +view.selectionColor=\#cccccc +view.status.show-caret-virtual=true +view.status.foreground=\#000000 +view.status.show-caret-linenumber=true +view.status.show-caret-bufferlength=true +view.status.background=\#ffffff +view.status.show-caret-dot=true +view.status.memory.background=\#66699a +view.status.show-caret-offset=true +view.style.invalid=color\:\#ff1e00 bgColor\:\#ffffcc +view.style.digit=color\:\#330066 +view.style.literal4=color\:\#0182bc +view.style.literal3=color\:\#0700cc +view.style.literal2=color\:\#760000 +view.style.literal1=color\:\#90001c +view.style.comment4=color\:\#a2a2a2 +view.style.label=color\:\#009500 +view.style.comment3=color\:\#868686 +view.style.comment2=color\:\#383838 +view.style.comment1=color\:\#434343 +view.style.keyword4=color\:\#00a228 +view.style.keyword3=color\:\#0b2700 +view.style.keyword2=color\:\#000066 +view.style.keyword1=color\:\#0033cc +view.style.function=color\:\#006600 +view.style.operator=color\:\#000000 +view.gutter.fontsize=14 +view.gutter.font=Courier 10 Pitch +view.gutter.highlightColor=\#660000 +view.gutter.selectionAreaBgColor=\#f0f0f0 +view.gutter.highlightInterval=10 +view.gutter.focusBorderColor=\#ececec +view.gutter.highlightCurrentLine=false +view.gutter.bgColor=\#f0f0f0 +view.gutter.currentLineColor=\#006699 +view.gutter.fgColor=\#3c3c3c +view.gutter.selectionAreaWidth=12 |