From 78409ea72885a306da8799d2517b3b857f0466c4 Mon Sep 17 00:00:00 2001
From: ivmartel <ivmartel@gmail.com>
Date: Fri, 15 Nov 2013 01:17:05 +0100
Subject: [PATCH] Added loaders html.

---
 src/html/gui.js | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/src/html/gui.js b/src/html/gui.js
index 8a9dcce8e1..1903d08fc4 100644
--- a/src/html/gui.js
+++ b/src/html/gui.js
@@ -34,6 +34,17 @@ dwv.gui.onChangeColourMap = function(event)
     app.getToolBox().getSelectedTool().setColourMap(this.value);
 };
 
+/**
+ * Handle loader change.
+ * @method onChangeLoader
+ * @static
+ * @param {Object} event The change event.
+ */
+dwv.gui.onChangeLoader = function(event)
+{
+    app.setSelectedLoader(this.value);
+};
+
 /**
  * Handle tool change.
  * @method onChangeTool
@@ -169,6 +180,31 @@ dwv.gui.updateProgress = function(event)
     }
 };
 
+/**
+ * Append the loader HTML to the page.
+ * @method appendToolboxHtml
+ * @static
+ */
+dwv.gui.appendLoaderHtml = function()
+{
+    // select
+    var loaderSelector = dwv.html.createHtmlSelect("loaderSelect",dwv.io.loaders);
+    loaderSelector.onchange = dwv.gui.onChangeLoader;
+    // loader div
+    var loaderDiv = document.createElement("div");
+    loaderDiv.id = "loaderDiv";
+    loaderDiv.appendChild(loaderSelector);
+    
+    // node
+    var node = document.getElementById("loaders");
+    // clear it
+    while(node.hasChildNodes()) node.removeChild(node.firstChild);
+    // append
+    node.appendChild(loaderDiv);
+    // trigger create event (mobile)
+    $("#loaderDiv").trigger("create");
+};
+
 /**
  * Append the toolbox HTML to the page.
  * @method appendToolboxHtml