From 4fdd21f1273e75b84e87c49b95b02e9fc149b5c0 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 13 Jul 2010 15:33:54 +0000
Subject: detailed information for the type errors from PGFService

---
 src/ui/gwt/Editor-compile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/ui/gwt/Editor-compile')

diff --git a/src/ui/gwt/Editor-compile b/src/ui/gwt/Editor-compile
index 4106298ea..d054d16ad 100644
--- 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'
-- 
cgit v1.2.3