detailed information for the type errors from PGFService

2010-07-13 15:33:54 +00:00
parent 3ca0b6a976
commit 4fdd21f127
7 changed files with 55 additions and 13 deletions
--- a/src/ui/gwt/Editor-compile
+++ b/src/ui/gwt/Editor-compile
@@ -1,6 +1,8 @@
 #!/bin/sh

 APPDIR=`dirname $0`;
+GWT_DIR="/home/angelov/gwt-2.0.4"
+GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev.jar"

 if [ -z "$GWT_CLASSPATH" ]; then
  echo 'ERROR: $GWT_CLASSPATH is not set'