# HG changeset patch
# User hamidouk
# Date 1326882918 -3600
# Node ID 5e10069c5c2112f8e1e5e1c8e7d5fe568956f20d
# Parent  48c1beea7b1ccb0c373996912ca700bfee3f9ae8
load raphael for the stackGraphWidget.

diff -r 48c1beea7b1c -r 5e10069c5c21 src/js/main.js
--- a/src/js/main.js	Wed Jan 18 11:34:52 2012 +0100
+++ b/src/js/main.js	Wed Jan 18 11:35:18 2012 +0100
@@ -35,7 +35,8 @@
     
     /* widget specific requirements */
     for (var idx in config.gui.widgets) {
-      if (config.gui.widgets[idx].type === "PolemicWidget") {        
+      if (config.gui.widgets[idx].type === "PolemicWidget" ||
+          config.gui.widgets[idx].type === "StackGraphWidget") {        
         $L.script(libs.raphael);
       }