use-webkitgtk.patch 1019 B

12345678910111213141516
  1. --- zekr.sh.OSmanOS 2013-02-11 18:56:07.000000000 +0200
  2. +++ zekr.sh 2013-02-11 19:00:01.436174792 +0200
  3. @@ -9,10 +9,10 @@
  4. JAVA_CMD=java
  5. ORIG_DIR_NAME=`cd`
  6. -DIR_NAME=`dirname $0`
  7. +DIR_NAME=/usr/share/java/zekr
  8. MAIN_CLASS=net.sf.zekr.ZekrMain
  9. CLASS_PATH=lib/log4j-1.2.8.jar:lib/swt.jar:lib/commons-collections-3.2.1.jar:lib/commons-codec-1.3.jar:lib/commons-io-1.4.jar:lib/commons-lang-2.4.jar:lib/commons-logging-1.0.4.jar:lib/commons-configuration-1.6.jar:lib/velocity-1.6.2.jar:lib/lucene-core-3.0.0.jar:lib/lucene-highlighter-3.0.0.jar:lib/lucene-snowball-3.0.0.jar:lib/lucene-memory-3.0.0.jar:lib/lucene-misc-3.0.0.jar:lib/mp3spi-1.9.4.jar:lib/vorbisspi-1.0.3.jar:lib/jlayer-1.0.1.jar:lib/basicplayer-3.0.jar:lib/tritonus-share-0.3.6.jar:lib/tritonus-jorbis-0.3.6.jar:lib/jorbis-0.0.17.jar:lib/jspeex-0.9.7.jar:dist/zekr.jar
  10. -VM_ARGS="-Xms20m -Xmx128m $ZEKR_BROWSER"
  11. +VM_ARGS="-Xms20m -Xmx128m -Dorg.eclipse.swt.browser.UseWebKitGTK=true"
  12. cd $DIR_NAME
  13. "$JAVA_CMD" $VM_ARGS -cp "$CLASS_PATH" $MAIN_CLASS $*