3112: fix indentation

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

diff --git a/apps/workbench/app/assets/javascripts/sizing.js b/apps/workbench/app/assets/javascripts/sizing.js
index 3d60274439f51232982d6737ed3c23c40b0f0372..2341628fa76ff195196583a740d19354e5e95285 100644 (file)
--- a/apps/workbench/app/assets/javascripts/sizing.js
+++ b/apps/workbench/app/assets/javascripts/sizing.js
@@ -20,10 +20,12 @@ function smart_scroll_fixup(s) {
     }
 
     s.each(function(i, a) {
-        var h = window.innerHeight - $(a).offset().top;
+        a = $(a);
+        var h = window.innerHeight - a.offset().top - a.attr("data-smart-scroll-padding-bottom");
         height = String(h) + "px";
-        $(a).css('max-height', height);
+        a.css('max-height', height);
     });
 }
 
 $(window).on('load ready resize scroll ajax:complete', smart_scroll_fixup);
+$(document).on('shown.bs.tab', 'ul.nav-tabs > li > a', smart_scroll_fixup);