From d858e1ca733407aeeb39d9d85edb26373443a9b9 Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Fri, 5 Oct 2018 11:43:02 -0700 Subject: Move resources to corresponding subprojects --- core-rest/src/main/resources/swagger-ui/lib/jquery.slideto.min.js | 1 + 1 file changed, 1 insertion(+) create mode 100644 core-rest/src/main/resources/swagger-ui/lib/jquery.slideto.min.js (limited to 'core-rest/src/main/resources/swagger-ui/lib/jquery.slideto.min.js') diff --git a/core-rest/src/main/resources/swagger-ui/lib/jquery.slideto.min.js b/core-rest/src/main/resources/swagger-ui/lib/jquery.slideto.min.js new file mode 100644 index 0000000..ba32cff --- /dev/null +++ b/core-rest/src/main/resources/swagger-ui/lib/jquery.slideto.min.js @@ -0,0 +1 @@ +(function(b){b.fn.slideto=function(a){a=b.extend({slide_duration:"slow",highlight_duration:3E3,highlight:true,highlight_color:"#FFFF99"},a);return this.each(function(){obj=b(this);b("body").animate({scrollTop:obj.offset().top},a.slide_duration,function(){a.highlight&&b.ui.version&&obj.effect("highlight",{color:a.highlight_color},a.highlight_duration)})})}})(jQuery); -- cgit v1.2.3