From a8134994ab40de6c2ba5d3fcadd984b2d14dccae Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 1 Dec 2010 16:28:27 +0000
Subject: [PATCH] Let minibar keep its own copy of tree-btn.png

---
 src/runtime/javascript/minibar/minibar.js   |   5 +----
 src/runtime/javascript/minibar/tree-btn.png | Bin 0 -> 149 bytes
 2 files changed, 1 insertion(+), 4 deletions(-)
 create mode 100644 src/runtime/javascript/minibar/tree-btn.png

diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js
index 11485723b..22304d123 100644
--- a/src/runtime/javascript/minibar/minibar.js
+++ b/src/runtime/javascript/minibar/minibar.js
@@ -1,9 +1,6 @@
 // minibar.js, assumes that support.js has also been loaded
 
-//var default_server="http://www.grammaticalframework.org:41296"
-var default_server="http://localhost:41296"
-
-var tree_icon=default_server+"/translate/se.chalmers.cs.gf.gwt.TranslateApp/tree-btn.png";
+var tree_icon="tree-btn.png";
 
 /*
 // This is essentially what happens when you call start_minibar:
diff --git a/src/runtime/javascript/minibar/tree-btn.png b/src/runtime/javascript/minibar/tree-btn.png
new file mode 100644
index 0000000000000000000000000000000000000000..ebd243617c80e8493710e69b97236db55e7743bb
GIT binary patch
literal 149
zcmeAS@N?(olHy`uVBq!ia0y~yU=UznVBqFpV_;w?d&FzWz`zjW>EaloF>&ogN1+1>
z9L&z`|LZMnLszQlvKL=Gn8I$bz%{V@tcwya!;=)3oSTZ=Ke$3;_43b|Em&*S6g8(>
zT6V2<z}j_N#owIZnEK;RsQRVp4*$<j)&K7lda9iH{CW}X-d{VK85kHCJYD@<);T3K
F0RVQnGnoJY

literal 0
HcmV?d00001