[arch-commits] Commit in jedit/trunk (PKGBUILD jedit.props)

[Alexander Rødseth]

    Date: Sunday, August 25, 2013 @ 18:45:00
  Author: arodseth
Revision: 96322

upgpkg: jedit 5.1.0-2

Modified:
  jedit/trunk/PKGBUILD
  jedit/trunk/jedit.props

-------------+
 PKGBUILD    |   14 ++++++++-----
 jedit.props |   61 ++++++++++++++++++++++++++++++++++++++++++++++++++++++----
 2 files changed, 66 insertions(+), 9 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2013-08-25 14:38:50 UTC (rev 96321)
+++ PKGBUILD	2013-08-25 16:45:00 UTC (rev 96322)
@@ -7,8 +7,8 @@
 
 pkgname=jedit
 pkgver=5.1.0
-pkgrel=1
-pkgdesc='Text editor for programmers'
+pkgrel=2
+pkgdesc='Text editor for programmers, written in Java'
 arch=('any')
 url='http://www.jedit.org/'
 license=('GPL')
@@ -15,6 +15,7 @@
 depends=('sh' 'java-runtime' 'desktop-file-utils')
 makedepends=('gendesk')
 optdepends=('java-environment: for java development')
+options=('!emptydirs')
 install=$pkgname.install
 noextract=("${pkgname}${pkgver}install.jar")
 source=("http://downloads.sourceforge.net/$pkgname/${pkgname}${pkgver}install.jar"
@@ -24,7 +25,7 @@
 sha256sums=('96f229d91a1effd6b0da1aee209390d8a131bd68e0cf4cd274dca14245ba30d7'
             'e908f2d4b15aab76e5e4633b71f25f7f25baa5b9e375d373e8729205700a57de'
             'a1dd1b688f08c5c967861fe80df13cac201afa6dcfcecc9a289b2c3bec7c8915'
-            '1ada993b3f079bba40be736a66eae390ee0427c18289be5965338f8e3adc7f27')
+            'cc8d34ab151255c97d78a08ffbc25f041fe8c8c0017094d5eef27e84f95e0c2e')
 
 prepare() {
   gendesk -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --exec 'jeditbg %U' \
@@ -33,10 +34,13 @@
 
 package() {
   cd "$srcdir"
-  java -jar "${pkgname}${pkgver}install.jar" auto \
+  install -d "$pkgdir/usr/share/java/$pkgdir"
+  install -d "$pkgdir/usr/bin"
+  install -d "$pkgdir/usr/share/man/man1"
+  (java -jar "${pkgname}${pkgver}install.jar" auto \
     "$pkgdir/usr/share/java/$pkgname/" \
     unix-script="$pkgdir/usr/bin/" \
-    unix-man="$pkgdir/usr/share/man/man1" > inst.log
+    unix-man="$pkgdir/usr/share/man/man1/" 2>&1) > inst.log
   install -Dm755 'jedit.sh' "$pkgdir/usr/bin/jedit"
   install -Dm755 'jeditbg.sh' "$pkgdir/usr/bin/jeditbg"
   install -Dm644 'jedit.props' "$pkgdir/usr/share/jedit/default.props"

Modified: jedit.props
===================================================================
--- jedit.props	2013-08-25 14:38:50 UTC (rev 96321)
+++ jedit.props	2013-08-25 16:45:00 UTC (rev 96322)
@@ -1,10 +1,63 @@
 # --- Arch Linux defaults for jEdit ---
+#
+# Just remove this file (~/.jedit/properties) to use the original jEdit defaults.
+#
+# startup
+firstTime=false
 tip.show=false
-firstTime=false
+# buffers
+buffer.tabSize=4
 buffer.indentSize=4
-buffer.tabSize=4
-lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel
-# Comment out the next three lines to get the default font
+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.antiAlias=standard
 view.fontsize=14
 view.font=Courier 10 Pitch
+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