devdocs

History

Grant Bourque d657377d1c Use `document.scrollingElement` for mobile scrolls - Set `document.scrollingElement` as the scrolling element for scrolling to anchors when the app is mobile mode to enhance support in newer browsers. The CSS View Module spec considers `document.documentElement`/`<html>` to be the standard scrolling element and that is what appears to be used in the latest Firefox and Chrome. However, some older browsers and even the current Safari use `document.body` as the scrolling element which is why I suspect the original code used `document.body`. Since some browsers scroll on different elements, `document.scrollingElement` exists so the browser can tell us what to use for scrolling to anchors work for all modern browsers. Since `document.scrollingElement` is undefined in older browsers, `document.body` is available as fallback mobile scrolling element.		7 years ago
..
content.coffee	Use `document.scrollingElement` for mobile scrolls	7 years ago
entry_page.coffee	Fix alt+o shortcut not preventing default in Firefox	8 years ago
offline_page.coffee	Normalize event.target for old browsers incorrectly handling SVG elements	8 years ago
root_page.coffee	Ask all HTTP users to switch to HTTPS	7 years ago
settings_page.coffee	Add ability export/import preferences	8 years ago
static_page.coffee	Improve Help page	8 years ago
type_page.coffee	Use doc full name (incl. version) throughout the app	9 years ago