From 953bc5360db02716d8d7661d81dab47abd8a23b5 Mon Sep 17 00:00:00 2001 From: Dan Helfman Date: Tue, 29 Jul 2008 14:52:23 -0700 Subject: [PATCH] On second thought, making scrolling speed even faster (0.25 seconds in duration). --- static/js/Editor.js | 2 +- static/js/Wiki.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/static/js/Editor.js b/static/js/Editor.js index 609c208..88500c0 100644 --- a/static/js/Editor.js +++ b/static/js/Editor.js @@ -232,7 +232,7 @@ Editor.prototype.highlight = function ( scroll ) { var viewport_position = getViewportPosition(); if ( getElementPosition( this.note_controls ).y < viewport_position.y || getElementPosition( this.iframe ).y + getElementDimensions( this.iframe ).h > viewport_position.y + getViewportDimensions().h ) { - new ScrollTo( this.note_controls, { "afterFinish": do_highlight, "duration": 0.5 } ); + new ScrollTo( this.note_controls, { "afterFinish": do_highlight, "duration": 0.25 } ); return; } } diff --git a/static/js/Wiki.js b/static/js/Wiki.js index 5f63117..53743db 100644 --- a/static/js/Wiki.js +++ b/static/js/Wiki.js @@ -2287,7 +2287,7 @@ Wiki.prototype.scroll_to = function ( node ) { var viewport_position = getViewportPosition(); if ( getElementPosition( node ).y < viewport_position.y || getElementPosition( node ).y + getElementDimensions( node ).h > viewport_position.y + getViewportDimensions().h ) - new ScrollTo( node, { "duration": 0.5 } ); + new ScrollTo( node, { "duration": 0.25 } ); } Wiki.prototype.clear_messages = function () {