From 713dea1ee1be5d8d8cf5ae8023cc2015b16463ae Mon Sep 17 00:00:00 2001 From: Alexis Jacomy Date: Thu, 16 Jun 2011 13:52:53 +0200 Subject: Interface update (WARNING: Flash to JS communication is currently broken, and JS to Flash does not work on Firefox, to be fixed soon) --- public/javascripts/github-connector.js | 152 --------------------------------- 1 file changed, 152 deletions(-) delete mode 100644 public/javascripts/github-connector.js (limited to 'public/javascripts/github-connector.js') diff --git a/public/javascripts/github-connector.js b/public/javascripts/github-connector.js deleted file mode 100644 index 976f8de..0000000 --- a/public/javascripts/github-connector.js +++ /dev/null @@ -1,152 +0,0 @@ -var githubNodesObj = {}; -var githubEdgesObj = {}; -var graphAttributes = {}; - -// Interface: -function init(){ - getGraphAttributes() -} - -function newQuery(query){ - sigmaDOM = thisMovie("SiGMa"); - - getGithubGraph(query); -} - -function thisMovie(movieName) { - if (navigator.appName.indexOf("Microsoft") != -1) { - return window[movieName]; - } else { - return document[movieName]; - } -} - -function setComboBoxes(){ - var colorAtts = []; - var sizeAtts = []; - - for(var att in graphAttributes){ - graphAttributes[att]["id"] = att; - - if(graphAttributes[att]["type"]=="Num"){ - sizeAtts.push(graphAttributes[att]); - colorAtts.push(graphAttributes[att]); - }else{ - colorAtts.push(graphAttributes[att]); - } - } - - var nodes_color = document.forms["node_properties"]["nodes_color"]; - var nodes_size = document.forms["node_properties"]["nodes_size"]; - - while(nodes_color.options.length) nodes_color.options.remove(0); - while(nodes_size.options.length) nodes_size.options.remove(0); - - var i; - var optn; - - var l=colorAtts.length; - for(i=0;i