solarized to jEdit

jedit-colors-solarized/install.sh

@@ -0,0 +1,24 @@
+#!/bin/sh
+
+trap 'ret=$?; test $ret -ne 0 && printf "failed\n\n" >&2; exit $ret' EXIT
+set -e
+
+[ "" = "$1" ] && THEME="dark" || THEME="$1"
+
+[ ! -d $HOME/.jedit ] && mkdir -p $HOME/.jedit
+
+if [ "dark" != "$THEME" ] && [ "light" != "$THEME" ]
+then
+  echo "Theme should be 'dark' or 'light'"
+  exit 1
+fi
+
+DIR=$(dirname $0)
+
+cat $DIR/solarized-base >> $HOME/.jedit/properties
+cat $DIR/solarized-$THEME >> $HOME/.jedit/properties
+
+echo "Please, restart jEdit to apply the new theme"
+exit 0
+
+#EOF

jedit-colors-solarized/solarized-base

@@ -0,0 +1,29 @@
+#jEdit properties
+
+buffer.encoding=UTF-8
+view.font=Menlo
+view.antiAlias=standard
+
+view.style.operator=color\:\#dc322f style\:b
+view.gutter.currentLineColor=\#dc322f
+view.gutter.foldColor=\#859900
+view.style.markup=color\:\#dc322f
+view.style.digit=color\:\#2aa198
+view.status.background=\#fdf6e3
+view.gutter.highlightColor=\#d33682
+view.gutter.selectionAreaBgColor=\#dbdbdb
+view.style.invalid=color\:\#d33682
+view.status.memory.background=\#66699a
+view.selectionColor=\#fdf6e3
+view.style.literal4=color\:\#2aa198
+view.style.literal3=color\:\#2aa198
+view.style.literal2=color\:\#2aa198
+view.style.literal1=color\:\#2aa198
+view.selectionFgColor=\#000000
+view.style.label=color\:\#d33682
+view.wrapGuideColor=\#6c71c4
+view.multipleSelectionColor=\#eee8d5
+view.style.keyword4=color\:\#859900 style\:b
+view.style.keyword3=color\:\#268bd2 style\:b
+view.style.keyword2=color\:\#cb4b16 style\:b
+view.style.keyword1=color\:\#b58900 style\:b

jedit-colors-solarized/solarized-dark

@@ -0,0 +1,19 @@
+view.bgColor=\#002b36
+view.fgColor=\#839496
+view.lineHighlightColor=\#073642
+view.structureHighlightColor=\#93a1a1
+view.caretColor=\#93a1a1
+
+# gutter / line numbers
+view.gutter.bgColor=\#073642
+view.gutter.focusBorderColor=\#073642
+view.gutter.noFocusBorderColor=\#073642
+view.gutter.fgColor=\#586e75
+view.eolMarkerColor=\#586e75
+
+# comments - base01
+view.style.comment4=color\:\#586e75
+view.style.comment3=color\:\#586e75
+view.style.comment2=color\:\#586e75
+view.style.comment1=color\:\#586e75
+view.style.function=color\:\#839496

jedit-colors-solarized/solarized-light

@@ -0,0 +1,20 @@
+view.bgColor=\#fdf6e3
+view.fgColor=\#657b83
+view.lineHighlightColor=\#eee8d5
+view.structureHighlightColor=\#93a1a1
+view.caretColor=\#93a1a1
+
+# gutter / line numbers
+view.gutter.bgColor=\#eee8d5
+view.gutter.focusBorderColor=\#eee8d5
+view.gutter.noFocusBorderColor=\#eee8d5
+view.gutter.fgColor=\#93a1a1
+view.eolMarkerColor=\#93a1a1
+
+view.style.function=color\:\#657b83
+
+# comments - base01
+view.style.comment4=color\:\#93a1a1
+view.style.comment3=color\:\#93a1a1
+view.style.comment2=color\:\#93a1a1
+view.style.comment1=color\:\#93a1a1