| 1234567891011121314151617 |
- window.consoleEmulatorScroll = (el) => {
- if (el) el.scrollTop = el.scrollHeight;
- };
- window.consoleHasSelection = () => {
- const sel = window.getSelection();
- return sel && sel.toString().length > 0;
- };
- window.scrollToAnchor = (anchor) => {
- if (!anchor) return;
- const el = document.getElementById(anchor);
- if (el) {
- el.scrollIntoView({behavior: "smooth", block: "start"});
- }
- };
|