mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
Halfed the scroll time for TOC comments. It caused a stutter in the scroll on many pages. The faster scroll seems to eliminate the problem.
This commit is contained in:
@@ -219,7 +219,7 @@ $(document).ready(function() {
|
||||
jQuery.getScript("/js/jquery.scrollto.min.js", function(){
|
||||
l.delegate("a.toc_item","click keypress", function(e) {
|
||||
// Escape dots in ids so they won't be treated as class selectors
|
||||
$.scrollTo($(this).attr("href").replace(".", "\\\."), 800);
|
||||
$.scrollTo($(this).attr("href").replace(".", "\\\."), 400);
|
||||
});
|
||||
});
|
||||
|
||||
|
||||
Reference in New Issue
Block a user