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 a23a6d488045be7bc297aa217626e9d60cf23c02..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($){
@@ -236,3 +239,7 @@ function showLoadingModal() {
 function hideLoadingModal() {
     $('#loading-modal').modal('hide');
 }
+
+function hasHTML5History() {
+    return !!(window.history && window.history.pushState);
+}