GraphViewer: Toolbox now created correctly

html/admin/js/graphViewer/jasmine_test/specGraphViewer/graphViewerUISpec.js

@@ -148,6 +148,7 @@
               expect(group.children.length).toEqual(2);
               // Correctness of buttons is checked in eventDispatcherUISpec.
             });
+            return true;
           }
         });
       });

html/admin/js/graphViewer/ui/eventDispatcherControls.js

@@ -136,7 +136,7 @@ function EventDispatcherControls(list, nodeShaper, edgeShaper, dispatcherConfig)
         rebindNodes({click: nodeCallback});
         rebindEdges({click: edgeCallback});
       };
-    createIcon("edit", "edit", callback);
+    createIcon("pencil", "edit", callback);
   };
   
   this.addControlExpand = function() {

html/admin/js/graphViewer/ui/graphViewerUI.js

@@ -74,17 +74,15 @@ function GraphViewerUI(container, adapterConfig) {
     },
     createToolbox = function() {
       var toolbox = document.createElement("div"),
-      toollist = document.createElement("ul"),
-      dispatcherUI = new EventDispatcherControls(
-        toollist,
-        graphViewer.nodeShaper,
-        graphViewer.edgeShaper,
-        graphViewer.dispatcherConfig
-      );
+        dispatcherUI = new EventDispatcherControls(
+          toolbox,
+          graphViewer.nodeShaper,
+          graphViewer.edgeShaper,
+          graphViewer.dispatcherConfig
+        );
       toolbox.id = "toolbox";
-      toolbox.className = "toolbox pull-left";
+      toolbox.className = "btn-group btn-group-vertical pull-left toolbox";
       container.appendChild(toolbox);
-      toolbox.appendChild(toollist);
       dispatcherUI.addAll();
     },
     createMenu = function() {