4233: better labelling includes raw interval data and number formatting

[arvados.git] / apps / workbench / app / assets / javascripts / application.js

diff --git a/apps/workbench/app/assets/javascripts/application.js b/apps/workbench/app/assets/javascripts/application.js
index 9fa37c95763cd78cc32e55fc392f5845bfafea87..796053b8cd3b4de8dd3205cee5ef5642f000da67 100644 (file)
--- a/apps/workbench/app/assets/javascripts/application.js
+++ b/apps/workbench/app/assets/javascripts/application.js
@@ -23,6 +23,9 @@
 //= require bootstrap3-editable/bootstrap-editable
 //= require bootstrap-tab-history
 //= require wiselinks
+//= require raphael
+//= require morris
+//= require jquery.number.min
 //= require_tree .
 
 jQuery(function($){
@@ -222,7 +225,6 @@ jQuery(function($){
 window.addEventListener("DOMContentLoaded", function(e) {
     if(history.state) {
         if(history.state.nocache) {
-            console.log('no cache!');
             showLoadingModal();
             history.replaceState( {}, '' );
             location.reload(true);
@@ -237,3 +239,7 @@ function showLoadingModal() {
 function hideLoadingModal() {
     $('#loading-modal').modal('hide');
 }
+
+function hasHTML5History() {
+    return !!(window.history && window.history.pushState);
+}