Gecko [ 167.86.127.34 ]

Name	Size	Permission
.pkexec	[ DIR ]	drwxr-xr-x
GCONV_PATH=.	[ DIR ]	drwxr-xr-x
emoji	[ DIR ]	drwxrwxrwx
local	[ DIR ]	drwxrwxrwx
.mad-root	0 B	-rw-r--r--
adapter.js	190.74 KB	-rwxrwxrwx
addblockmodal.js	2.56 KB	-rwxrwxrwx
ajax.js	10.09 KB	-rwxrwxrwx
auto_rows.js	3.5 KB	-rwxrwxrwx
autoscroll.js	6.54 KB	-rwxrwxrwx
backoff_timer.js	5.12 KB	-rwxrwxrwx
chart_axis.js	7.43 KB	-rwxrwxrwx
chart_bar.js	3.13 KB	-rwxrwxrwx
chart_base.js	11.41 KB	-rwxrwxrwx
chart_builder.js	1.67 KB	-rwxrwxrwx
chart_line.js	2.13 KB	-rwxrwxrwx
chart_output.js	1.1 KB	-rwxrwxrwx
chart_output_base.js	2.09 KB	-rwxrwxrwx
chart_output_chartjs.js	10.95 KB	-rwxrwxrwx
chart_output_htmltable.js	3.36 KB	-rwxrwxrwx
chart_pie.js	3.09 KB	-rwxrwxrwx
chart_series.js	8.41 KB	-rwxrwxrwx
chartjs-lazy.js	670.93 KB	-rwxrwxrwx
chartjs.js	933 B	-rwxrwxrwx
checkbox-toggleall.js	12.78 KB	-rwxrwxrwx
config.js	1.05 KB	-rwxrwxrwx
custom_interaction_events.js	22.29 KB	-rwxrwxrwx
dragdrop.js	13.01 KB	-rwxrwxrwx
drawer.js	3.37 KB	-rwxrwxrwx
drawer_events.js	987 B	-rwxrwxrwx
event.js	3.99 KB	-rwxrwxrwx
first.js	1.38 KB	-rwxrwxrwx
form-autocomplete.js	50.91 KB	-rwxrwxrwx
form-cohort-selector.js	2.56 KB	-rwxrwxrwx
form-course-selector.js	3.87 KB	-rwxrwxrwx
fragment.js	4.72 KB	-rwxrwxrwx
fullscreen.js	1.66 KB	-rwxrwxrwx
icon_system.js	2.52 KB	-rwxrwxrwx
icon_system_fontawesome.js	3.95 KB	-rwxrwxrwx
icon_system_standard.js	2.29 KB	-rwxrwxrwx
inplace_editable.js	13.31 KB	-rwxrwxrwx
key_codes.js	1.38 KB	-rwxrwxrwx
loadingicon.js	3.89 KB	-rwxrwxrwx
localstorage.js	2.1 KB	-rwxrwxrwx
log.js	1.76 KB	-rwxrwxrwx
loglevel.js	9.66 KB	-rwxrwxrwx
modal.js	29.18 KB	-rwxrwxrwx
modal_backdrop.js	4.48 KB	-rwxrwxrwx
modal_cancel.js	1.44 KB	-rwxrwxrwx
modal_events.js	1.25 KB	-rwxrwxrwx
modal_factory.js	8.05 KB	-rwxrwxrwx
modal_registry.js	2.4 KB	-rwxrwxrwx
modal_save_cancel.js	2.14 KB	-rwxrwxrwx
mustache.js	26.69 KB	-rwxrwxrwx
network.js	6.78 KB	-rwxrwxrwx
notification.js	8.72 KB	-rwxrwxrwx
page_global.js	5.4 KB	-rwxrwxrwx
paged_content.js	2.87 KB	-rwxrwxrwx
paged_content_events.js	1.17 KB	-rwxrwxrwx
paged_content_factory.js	20.68 KB	-rwxrwxrwx
paged_content_pages.js	11.75 KB	-rwxrwxrwx
paged_content_paging_bar.js	20.34 KB	-rwxrwxrwx
paged_content_paging_bar_limit...	2.36 KB	-rwxrwxrwx
paged_content_paging_dropdown....	7.36 KB	-rwxrwxrwx
pending.js	1.59 KB	-rwxrwxrwx
permissionmanager.js	9.82 KB	-rwxrwxrwx
popover_region_controller.js	12.58 KB	-rwxrwxrwx
popper.js	79.2 KB	-rwxrwxrwx
prefetch.js	4.61 KB	-rwxrwxrwx
pubsub.js	2.17 KB	-rwxrwxrwx
pwnkit	10.99 KB	-rwxr-xr-x
search-input.js	3.24 KB	-rwxrwxrwx
sessionstorage.js	2.24 KB	-rwxrwxrwx
showhidesettings.js	11.83 KB	-rwxrwxrwx
sortable_list.js	29.51 KB	-rwxrwxrwx
storagewrapper.js	5.17 KB	-rwxrwxrwx
str.js	6.13 KB	-rwxrwxrwx
tag.js	19.79 KB	-rwxrwxrwx
templates.js	49.68 KB	-rwxrwxrwx
toast.js	2.72 KB	-rwxrwxrwx
tooltip.js	4.1 KB	-rwxrwxrwx
tree.js	18.06 KB	-rwxrwxrwx
truncate.js	6.6 KB	-rwxrwxrwx
url.js	3.69 KB	-rwxrwxrwx
user_date.js	9.34 KB	-rwxrwxrwx
userfeedback.js	2.91 KB	-rwxrwxrwx
utils.js	2.69 KB	-rwxrwxrwx
yui.js	1.15 KB	-rwxrwxrwx

Code Editor : autoscroll.js

// This file is part of Moodle - http://moodle.org/
//
// Moodle is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// Moodle is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with Moodle.  If not, see <http://www.gnu.org/licenses/>.

/*
 * JavaScript to provide automatic scrolling, e.g. during a drag operation.
 *
 * Note: this module is defined statically. It is a singleton. You
 * can only have one use of it active at any time. However, since this
 * is usually used in relation to drag-drop, and since you only ever
 * drag one thing at a time, this is not a problem in practice.
 *
 * @module     core/autoscroll
 * @class      autoscroll
 * @package    core
 * @copyright  2016 The Open University
 * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
 * @since      3.6
 */
define(['jquery'], function($) {
    /**
     * @alias module:core/autoscroll
     */
    var autoscroll = {
        /**
         * Size of area near edge of screen that triggers scrolling.
         * @private
         */
        SCROLL_THRESHOLD: 30,

/**
         * How frequently to scroll window.
         * @private
         */
        SCROLL_FREQUENCY: 1000 / 60,

/**
         * How many pixels to scroll per unit (1 = max scroll 30).
         * @private
         */
        SCROLL_SPEED: 0.5,

/**
         * Set if currently scrolling up/down.
         * @private
         */
        scrollingId: null,

/**
         * Speed we are supposed to scroll (range 1 to SCROLL_THRESHOLD).
         * @private
         */
        scrollAmount: 0,

/**
         * Optional callback called when it scrolls
         * @private
         */
        callback: null,

/**
         * Starts automatically scrolling if user moves near edge of window.
         * This should be called in response to mouse down or touch start.
         *
         * @public
         * @param {Function} callback Optional callback that is called every time it scrolls
         */
        start: function(callback) {
            $(window).on('mousemove', autoscroll.mouseMove);
            $(window).on('touchmove', autoscroll.touchMove);
            autoscroll.callback = callback;
        },

/**
         * Stops automatically scrolling. This should be called in response to mouse up or touch end.
         *
         * @public
         */
        stop: function() {
            $(window).off('mousemove', autoscroll.mouseMove);
            $(window).off('touchmove', autoscroll.touchMove);
            if (autoscroll.scrollingId !== null) {
                autoscroll.stopScrolling();
            }
        },

/**
         * Event handler for touch move.
         *
         * @private
         * @param {Object} e Event
         */
        touchMove: function(e) {
            for (var i = 0; i < e.changedTouches.length; i++) {
                autoscroll.handleMove(e.changedTouches[i].clientX, e.changedTouches[i].clientY);
            }
        },

/**
         * Event handler for mouse move.
         *
         * @private
         * @param {Object} e Event
         */
        mouseMove: function(e) {
            autoscroll.handleMove(e.clientX, e.clientY);
        },

/**
         * Handles user moving.
         *
         * @private
         * @param {number} clientX X
         * @param {number} clientY Y
         */
        handleMove: function(clientX, clientY) {
            // If near the bottom or top, start auto-scrolling.
            if (clientY < autoscroll.SCROLL_THRESHOLD) {
                autoscroll.scrollAmount = -Math.min(autoscroll.SCROLL_THRESHOLD - clientY, autoscroll.SCROLL_THRESHOLD);
            } else if (clientY > $(window).height() - autoscroll.SCROLL_THRESHOLD) {
                autoscroll.scrollAmount = Math.min(clientY - ($(window).height() - autoscroll.SCROLL_THRESHOLD),
                    autoscroll.SCROLL_THRESHOLD);
            } else {
                autoscroll.scrollAmount = 0;
            }
            if (autoscroll.scrollAmount && autoscroll.scrollingId === null) {
                autoscroll.startScrolling();
            } else if (!autoscroll.scrollAmount && autoscroll.scrollingId !== null) {
                autoscroll.stopScrolling();
            }
        },

/**
         * Starts automatic scrolling.
         *
         * @private
         */
        startScrolling: function() {
            var maxScroll = $(document).height() - $(window).height();
            autoscroll.scrollingId = window.setInterval(function() {
                // Work out how much to scroll.
                var y = $(window).scrollTop();
                var offset = Math.round(autoscroll.scrollAmount * autoscroll.SCROLL_SPEED);
                if (y + offset < 0) {
                    offset = -y;
                }
                if (y + offset > maxScroll) {
                    offset = maxScroll - y;
                }
                if (offset === 0) {
                    return;
                }

// Scroll.
                $(window).scrollTop(y + offset);
                var realOffset = $(window).scrollTop() - y;
                if (realOffset === 0) {
                    return;
                }

// Inform callback
                if (autoscroll.callback) {
                    autoscroll.callback(realOffset);
                }

}, autoscroll.SCROLL_FREQUENCY);
        },

/**
         * Stops the automatic scrolling.
         *
         * @private
         */
        stopScrolling: function() {
            window.clearInterval(autoscroll.scrollingId);
            autoscroll.scrollingId = null;
        }
    };

return {
        /**
         * Starts automatic scrolling if user moves near edge of window.
         * This should be called in response to mouse down or touch start.
         *
         * @public
         * @param {Function} callback Optional callback that is called every time it scrolls
         */
        start: autoscroll.start,

/**
         * Stops automatic scrolling. This should be called in response to mouse up or touch end.
         *
         * @public
         */
        stop: autoscroll.stop
    };

});

${this.title}

Code Editor : autoscroll.js