Let minibar keep its own copy of tree-btn.png

2 files changed, 1 insertions, 4 deletions

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 000000000..ebd243617
--- /dev/null
+++ b/src/runtime/javascript/minibar/tree-btn.png