sqlui 0.1.68 → 0.1.70

data/client/resources/sqlui.js

@@ -9566,7 +9566,7 @@
            }
        });
    }
-   const baseTheme$1$3 = /*@__PURE__*/buildTheme("." + baseThemeID, {
+   const baseTheme$1$2 = /*@__PURE__*/buildTheme("." + baseThemeID, {
        "&": {
            position: "relative !important",
            boxSizing: "border-box",
@@ -10921,7 +10921,7 @@
        }
        mountStyles() {
            this.styleModules = this.state.facet(styleModule);
-           StyleModule.mount(this.root, this.styleModules.concat(baseTheme$1$3).reverse());
+           StyleModule.mount(this.root, this.styleModules.concat(baseTheme$1$2).reverse());
        }
        readMeasured() {
            if (this.updateState == 2 /* UpdateState.Updating */)
@@ -12865,214 +12865,6 @@
    const showTooltip = /*@__PURE__*/Facet.define({
        enables: [tooltipPlugin, baseTheme$4]
    });
-   const showHoverTooltip = /*@__PURE__*/Facet.define();
-   class HoverTooltipHost {
-       constructor(view) {
-           this.view = view;
-           this.mounted = false;
-           this.dom = document.createElement("div");
-           this.dom.classList.add("cm-tooltip-hover");
-           this.manager = new TooltipViewManager(view, showHoverTooltip, t => this.createHostedView(t));
-       }
-       // Needs to be static so that host tooltip instances always match
-       static create(view) {
-           return new HoverTooltipHost(view);
-       }
-       createHostedView(tooltip) {
-           let hostedView = tooltip.create(this.view);
-           hostedView.dom.classList.add("cm-tooltip-section");
-           this.dom.appendChild(hostedView.dom);
-           if (this.mounted && hostedView.mount)
-               hostedView.mount(this.view);
-           return hostedView;
-       }
-       mount(view) {
-           for (let hostedView of this.manager.tooltipViews) {
-               if (hostedView.mount)
-                   hostedView.mount(view);
-           }
-           this.mounted = true;
-       }
-       positioned(space) {
-           for (let hostedView of this.manager.tooltipViews) {
-               if (hostedView.positioned)
-                   hostedView.positioned(space);
-           }
-       }
-       update(update) {
-           this.manager.update(update);
-       }
-   }
-   const showHoverTooltipHost = /*@__PURE__*/showTooltip.compute([showHoverTooltip], state => {
-       let tooltips = state.facet(showHoverTooltip).filter(t => t);
-       if (tooltips.length === 0)
-           return null;
-       return {
-           pos: Math.min(...tooltips.map(t => t.pos)),
-           end: Math.max(...tooltips.filter(t => t.end != null).map(t => t.end)),
-           create: HoverTooltipHost.create,
-           above: tooltips[0].above,
-           arrow: tooltips.some(t => t.arrow),
-       };
-   });
-   class HoverPlugin {
-       constructor(view, source, field, setHover, hoverTime) {
-           this.view = view;
-           this.source = source;
-           this.field = field;
-           this.setHover = setHover;
-           this.hoverTime = hoverTime;
-           this.hoverTimeout = -1;
-           this.restartTimeout = -1;
-           this.pending = null;
-           this.lastMove = { x: 0, y: 0, target: view.dom, time: 0 };
-           this.checkHover = this.checkHover.bind(this);
-           view.dom.addEventListener("mouseleave", this.mouseleave = this.mouseleave.bind(this));
-           view.dom.addEventListener("mousemove", this.mousemove = this.mousemove.bind(this));
-       }
-       update() {
-           if (this.pending) {
-               this.pending = null;
-               clearTimeout(this.restartTimeout);
-               this.restartTimeout = setTimeout(() => this.startHover(), 20);
-           }
-       }
-       get active() {
-           return this.view.state.field(this.field);
-       }
-       checkHover() {
-           this.hoverTimeout = -1;
-           if (this.active)
-               return;
-           let hovered = Date.now() - this.lastMove.time;
-           if (hovered < this.hoverTime)
-               this.hoverTimeout = setTimeout(this.checkHover, this.hoverTime - hovered);
-           else
-               this.startHover();
-       }
-       startHover() {
-           clearTimeout(this.restartTimeout);
-           let { lastMove } = this;
-           let pos = this.view.contentDOM.contains(lastMove.target) ? this.view.posAtCoords(lastMove) : null;
-           if (pos == null)
-               return;
-           let posCoords = this.view.coordsAtPos(pos);
-           if (posCoords == null || lastMove.y < posCoords.top || lastMove.y > posCoords.bottom ||
-               lastMove.x < posCoords.left - this.view.defaultCharacterWidth ||
-               lastMove.x > posCoords.right + this.view.defaultCharacterWidth)
-               return;
-           let bidi = this.view.bidiSpans(this.view.state.doc.lineAt(pos)).find(s => s.from <= pos && s.to >= pos);
-           let rtl = bidi && bidi.dir == Direction.RTL ? -1 : 1;
-           let open = this.source(this.view, pos, (lastMove.x < posCoords.left ? -rtl : rtl));
-           if (open === null || open === void 0 ? void 0 : open.then) {
-               let pending = this.pending = { pos };
-               open.then(result => {
-                   if (this.pending == pending) {
-                       this.pending = null;
-                       if (result)
-                           this.view.dispatch({ effects: this.setHover.of(result) });
-                   }
-               }, e => logException(this.view.state, e, "hover tooltip"));
-           }
-           else if (open) {
-               this.view.dispatch({ effects: this.setHover.of(open) });
-           }
-       }
-       mousemove(event) {
-           var _a;
-           this.lastMove = { x: event.clientX, y: event.clientY, target: event.target, time: Date.now() };
-           if (this.hoverTimeout < 0)
-               this.hoverTimeout = setTimeout(this.checkHover, this.hoverTime);
-           let tooltip = this.active;
-           if (tooltip && !isInTooltip(this.lastMove.target) || this.pending) {
-               let { pos } = tooltip || this.pending, end = (_a = tooltip === null || tooltip === void 0 ? void 0 : tooltip.end) !== null && _a !== void 0 ? _a : pos;
-               if ((pos == end ? this.view.posAtCoords(this.lastMove) != pos
-                   : !isOverRange(this.view, pos, end, event.clientX, event.clientY, 6 /* Hover.MaxDist */))) {
-                   this.view.dispatch({ effects: this.setHover.of(null) });
-                   this.pending = null;
-               }
-           }
-       }
-       mouseleave(e) {
-           clearTimeout(this.hoverTimeout);
-           this.hoverTimeout = -1;
-           if (this.active && !isInTooltip(e.relatedTarget))
-               this.view.dispatch({ effects: this.setHover.of(null) });
-       }
-       destroy() {
-           clearTimeout(this.hoverTimeout);
-           this.view.dom.removeEventListener("mouseleave", this.mouseleave);
-           this.view.dom.removeEventListener("mousemove", this.mousemove);
-       }
-   }
-   function isInTooltip(elt) {
-       for (let cur = elt; cur; cur = cur.parentNode)
-           if (cur.nodeType == 1 && cur.classList.contains("cm-tooltip"))
-               return true;
-       return false;
-   }
-   function isOverRange(view, from, to, x, y, margin) {
-       let range = document.createRange();
-       let fromDOM = view.domAtPos(from), toDOM = view.domAtPos(to);
-       range.setEnd(toDOM.node, toDOM.offset);
-       range.setStart(fromDOM.node, fromDOM.offset);
-       let rects = range.getClientRects();
-       range.detach();
-       for (let i = 0; i < rects.length; i++) {
-           let rect = rects[i];
-           let dist = Math.max(rect.top - y, y - rect.bottom, rect.left - x, x - rect.right);
-           if (dist <= margin)
-               return true;
-       }
-       return false;
-   }
-   /**
-   Set up a hover tooltip, which shows up when the pointer hovers
-   over ranges of text. The callback is called when the mouse hovers
-   over the document text. It should, if there is a tooltip
-   associated with position `pos`, return the tooltip description
-   (either directly or in a promise). The `side` argument indicates
-   on which side of the position the pointer is—it will be -1 if the
-   pointer is before the position, 1 if after the position.
-
-   Note that all hover tooltips are hosted within a single tooltip
-   container element. This allows multiple tooltips over the same
-   range to be "merged" together without overlapping.
-   */
-   function hoverTooltip(source, options = {}) {
-       let setHover = StateEffect.define();
-       let hoverState = StateField.define({
-           create() { return null; },
-           update(value, tr) {
-               if (value && (options.hideOnChange && (tr.docChanged || tr.selection) ||
-                   options.hideOn && options.hideOn(tr, value)))
-                   return null;
-               if (value && tr.docChanged) {
-                   let newPos = tr.changes.mapPos(value.pos, -1, MapMode.TrackDel);
-                   if (newPos == null)
-                       return null;
-                   let copy = Object.assign(Object.create(null), value);
-                   copy.pos = newPos;
-                   if (value.end != null)
-                       copy.end = tr.changes.mapPos(value.end);
-                   value = copy;
-               }
-               for (let effect of tr.effects) {
-                   if (effect.is(setHover))
-                       value = effect.value;
-                   if (effect.is(closeHoverTooltipEffect))
-                       value = null;
-               }
-               return value;
-           },
-           provide: f => showHoverTooltip.from(f)
-       });
-       return [
-           hoverState,
-           ViewPlugin.define(view => new HoverPlugin(view, source, hoverState, setHover, options.hoverTime || 300 /* Hover.Time */)),
-           showHoverTooltipHost
-       ];
-   }
    /**
    Get the active tooltip view for a given tooltip, if available.
    */
@@ -13083,7 +12875,6 @@
        let found = plugin.manager.tooltips.indexOf(tooltip);
        return found < 0 ? null : plugin.manager.tooltipViews[found];
    }
-   const closeHoverTooltipEffect = /*@__PURE__*/StateEffect.define();
 
    const panelConfig = /*@__PURE__*/Facet.define({
        combine(configs) {
@@ -17145,7 +16936,7 @@
    Create an extension that configures code folding.
    */
    function codeFolding(config) {
-       let result = [foldState, baseTheme$1$2];
+       let result = [foldState, baseTheme$1$1];
        if (config)
            result.push(foldConfig.of(config));
        return result;
@@ -17254,7 +17045,7 @@
            codeFolding()
        ];
    }
-   const baseTheme$1$2 = /*@__PURE__*/EditorView.baseTheme({
+   const baseTheme$1$1 = /*@__PURE__*/EditorView.baseTheme({
        ".cm-foldPlaceholder": {
            backgroundColor: "#eee",
            border: "1px solid #ddd",
@@ -19441,7 +19232,7 @@
        if (!panel) {
            let effects = [dialogEffect.of(true)];
            if (view.state.field(dialogField, false) == null)
-               effects.push(StateEffect.appendConfig.of([dialogField, baseTheme$1$1]));
+               effects.push(StateEffect.appendConfig.of([dialogField, baseTheme$1]));
            view.dispatch({ effects });
            panel = getPanel(view, createLineDialog);
        }
@@ -19449,7 +19240,7 @@
            panel.dom.querySelector("input").focus();
        return true;
    };
-   const baseTheme$1$1 = /*@__PURE__*/EditorView.baseTheme({
+   const baseTheme$1 = /*@__PURE__*/EditorView.baseTheme({
        ".cm-panel.cm-gotoLine": {
            padding: "2px 6px 4px",
            "& label": { fontSize: "80%" }
@@ -19811,7 +19602,7 @@
    once).
    */
    const setSearchQuery = /*@__PURE__*/StateEffect.define();
-   const togglePanel$1 = /*@__PURE__*/StateEffect.define();
+   const togglePanel = /*@__PURE__*/StateEffect.define();
    const searchState = /*@__PURE__*/StateField.define({
        create(state) {
            return new SearchState(defaultQuery(state).create(), null);
@@ -19820,7 +19611,7 @@
            for (let effect of tr.effects) {
                if (effect.is(setSearchQuery))
                    value = new SearchState(effect.value.create(), value.panel);
-               else if (effect.is(togglePanel$1))
+               else if (effect.is(togglePanel))
                    value = new SearchState(value.query, effect.value ? createSearchPanel : null);
            }
            return value;
@@ -20031,7 +19822,7 @@
        }
        else {
            view.dispatch({ effects: [
-                   togglePanel$1.of(true),
+                   togglePanel.of(true),
                    state ? setSearchQuery.of(defaultQuery(view.state, state.query.spec)) : StateEffect.appendConfig.of(searchExtensions)
                ] });
        }
@@ -20047,7 +19838,7 @@
        let panel = getPanel(view, createSearchPanel);
        if (panel && panel.dom.contains(view.root.activeElement))
            view.focus();
-       view.dispatch({ effects: togglePanel$1.of(false) });
+       view.dispatch({ effects: togglePanel.of(false) });
        return true;
    };
    /**
@@ -21314,7 +21105,7 @@
        }
    });
 
-   const baseTheme$1 = /*@__PURE__*/EditorView.baseTheme({
+   const baseTheme = /*@__PURE__*/EditorView.baseTheme({
        ".cm-tooltip.cm-tooltip-autocomplete": {
            "& > ul": {
                fontFamily: "monospace",
@@ -21690,7 +21481,7 @@
            completionConfig.of(config),
            completionPlugin,
            completionKeymapExt,
-           baseTheme$1
+           baseTheme
        ];
    }
    /**
@@ -21715,568 +21506,6 @@
    ];
    const completionKeymapExt = /*@__PURE__*/Prec.highest(/*@__PURE__*/keymap.computeN([completionConfig], state => state.facet(completionConfig).defaultKeymap ? [completionKeymap] : []));
 
-   class SelectedDiagnostic {
-       constructor(from, to, diagnostic) {
-           this.from = from;
-           this.to = to;
-           this.diagnostic = diagnostic;
-       }
-   }
-   class LintState {
-       constructor(diagnostics, panel, selected) {
-           this.diagnostics = diagnostics;
-           this.panel = panel;
-           this.selected = selected;
-       }
-       static init(diagnostics, panel, state) {
-           // Filter the list of diagnostics for which to create markers
-           let markedDiagnostics = diagnostics;
-           let diagnosticFilter = state.facet(lintConfig).markerFilter;
-           if (diagnosticFilter)
-               markedDiagnostics = diagnosticFilter(markedDiagnostics);
-           let ranges = Decoration.set(markedDiagnostics.map((d) => {
-               // For zero-length ranges or ranges covering only a line break, create a widget
-               return d.from == d.to || (d.from == d.to - 1 && state.doc.lineAt(d.from).to == d.from)
-                   ? Decoration.widget({
-                       widget: new DiagnosticWidget(d),
-                       diagnostic: d
-                   }).range(d.from)
-                   : Decoration.mark({
-                       attributes: { class: "cm-lintRange cm-lintRange-" + d.severity },
-                       diagnostic: d
-                   }).range(d.from, d.to);
-           }), true);
-           return new LintState(ranges, panel, findDiagnostic(ranges));
-       }
-   }
-   function findDiagnostic(diagnostics, diagnostic = null, after = 0) {
-       let found = null;
-       diagnostics.between(after, 1e9, (from, to, { spec }) => {
-           if (diagnostic && spec.diagnostic != diagnostic)
-               return;
-           found = new SelectedDiagnostic(from, to, spec.diagnostic);
-           return false;
-       });
-       return found;
-   }
-   function hideTooltip(tr, tooltip) {
-       return !!(tr.effects.some(e => e.is(setDiagnosticsEffect)) || tr.changes.touchesRange(tooltip.pos));
-   }
-   function maybeEnableLint(state, effects) {
-       return state.field(lintState, false) ? effects : effects.concat(StateEffect.appendConfig.of([
-           lintState,
-           EditorView.decorations.compute([lintState], state => {
-               let { selected, panel } = state.field(lintState);
-               return !selected || !panel || selected.from == selected.to ? Decoration.none : Decoration.set([
-                   activeMark.range(selected.from, selected.to)
-               ]);
-           }),
-           hoverTooltip(lintTooltip, { hideOn: hideTooltip }),
-           baseTheme
-       ]));
-   }
-   /**
-   Returns a transaction spec which updates the current set of
-   diagnostics, and enables the lint extension if if wasn't already
-   active.
-   */
-   function setDiagnostics(state, diagnostics) {
-       return {
-           effects: maybeEnableLint(state, [setDiagnosticsEffect.of(diagnostics)])
-       };
-   }
-   /**
-   The state effect that updates the set of active diagnostics. Can
-   be useful when writing an extension that needs to track these.
-   */
-   const setDiagnosticsEffect = /*@__PURE__*/StateEffect.define();
-   const togglePanel = /*@__PURE__*/StateEffect.define();
-   const movePanelSelection = /*@__PURE__*/StateEffect.define();
-   const lintState = /*@__PURE__*/StateField.define({
-       create() {
-           return new LintState(Decoration.none, null, null);
-       },
-       update(value, tr) {
-           if (tr.docChanged) {
-               let mapped = value.diagnostics.map(tr.changes), selected = null;
-               if (value.selected) {
-                   let selPos = tr.changes.mapPos(value.selected.from, 1);
-                   selected = findDiagnostic(mapped, value.selected.diagnostic, selPos) || findDiagnostic(mapped, null, selPos);
-               }
-               value = new LintState(mapped, value.panel, selected);
-           }
-           for (let effect of tr.effects) {
-               if (effect.is(setDiagnosticsEffect)) {
-                   value = LintState.init(effect.value, value.panel, tr.state);
-               }
-               else if (effect.is(togglePanel)) {
-                   value = new LintState(value.diagnostics, effect.value ? LintPanel.open : null, value.selected);
-               }
-               else if (effect.is(movePanelSelection)) {
-                   value = new LintState(value.diagnostics, value.panel, effect.value);
-               }
-           }
-           return value;
-       },
-       provide: f => [showPanel.from(f, val => val.panel),
-           EditorView.decorations.from(f, s => s.diagnostics)]
-   });
-   const activeMark = /*@__PURE__*/Decoration.mark({ class: "cm-lintRange cm-lintRange-active" });
-   function lintTooltip(view, pos, side) {
-       let { diagnostics } = view.state.field(lintState);
-       let found = [], stackStart = 2e8, stackEnd = 0;
-       diagnostics.between(pos - (side < 0 ? 1 : 0), pos + (side > 0 ? 1 : 0), (from, to, { spec }) => {
-           if (pos >= from && pos <= to &&
-               (from == to || ((pos > from || side > 0) && (pos < to || side < 0)))) {
-               found.push(spec.diagnostic);
-               stackStart = Math.min(from, stackStart);
-               stackEnd = Math.max(to, stackEnd);
-           }
-       });
-       let diagnosticFilter = view.state.facet(lintConfig).tooltipFilter;
-       if (diagnosticFilter)
-           found = diagnosticFilter(found);
-       if (!found.length)
-           return null;
-       return {
-           pos: stackStart,
-           end: stackEnd,
-           above: view.state.doc.lineAt(stackStart).to < stackEnd,
-           create() {
-               return { dom: diagnosticsTooltip(view, found) };
-           }
-       };
-   }
-   function diagnosticsTooltip(view, diagnostics) {
-       return crelt("ul", { class: "cm-tooltip-lint" }, diagnostics.map(d => renderDiagnostic(view, d, false)));
-   }
-   /**
-   Command to open and focus the lint panel.
-   */
-   const openLintPanel = (view) => {
-       let field = view.state.field(lintState, false);
-       if (!field || !field.panel)
-           view.dispatch({ effects: maybeEnableLint(view.state, [togglePanel.of(true)]) });
-       let panel = getPanel(view, LintPanel.open);
-       if (panel)
-           panel.dom.querySelector(".cm-panel-lint ul").focus();
-       return true;
-   };
-   /**
-   Command to close the lint panel, when open.
-   */
-   const closeLintPanel = (view) => {
-       let field = view.state.field(lintState, false);
-       if (!field || !field.panel)
-           return false;
-       view.dispatch({ effects: togglePanel.of(false) });
-       return true;
-   };
-   /**
-   Move the selection to the next diagnostic.
-   */
-   const nextDiagnostic = (view) => {
-       let field = view.state.field(lintState, false);
-       if (!field)
-           return false;
-       let sel = view.state.selection.main, next = field.diagnostics.iter(sel.to + 1);
-       if (!next.value) {
-           next = field.diagnostics.iter(0);
-           if (!next.value || next.from == sel.from && next.to == sel.to)
-               return false;
-       }
-       view.dispatch({ selection: { anchor: next.from, head: next.to }, scrollIntoView: true });
-       return true;
-   };
-   /**
-   A set of default key bindings for the lint functionality.
-
-   - Ctrl-Shift-m (Cmd-Shift-m on macOS): [`openLintPanel`](https://codemirror.net/6/docs/ref/#lint.openLintPanel)
-   - F8: [`nextDiagnostic`](https://codemirror.net/6/docs/ref/#lint.nextDiagnostic)
-   */
-   const lintKeymap = [
-       { key: "Mod-Shift-m", run: openLintPanel, preventDefault: true },
-       { key: "F8", run: nextDiagnostic }
-   ];
-   const lintPlugin = /*@__PURE__*/ViewPlugin.fromClass(class {
-       constructor(view) {
-           this.view = view;
-           this.timeout = -1;
-           this.set = true;
-           let { delay } = view.state.facet(lintConfig);
-           this.lintTime = Date.now() + delay;
-           this.run = this.run.bind(this);
-           this.timeout = setTimeout(this.run, delay);
-       }
-       run() {
-           let now = Date.now();
-           if (now < this.lintTime - 10) {
-               setTimeout(this.run, this.lintTime - now);
-           }
-           else {
-               this.set = false;
-               let { state } = this.view, { sources } = state.facet(lintConfig);
-               Promise.all(sources.map(source => Promise.resolve(source(this.view)))).then(annotations => {
-                   let all = annotations.reduce((a, b) => a.concat(b));
-                   if (this.view.state.doc == state.doc)
-                       this.view.dispatch(setDiagnostics(this.view.state, all));
-               }, error => { logException(this.view.state, error); });
-           }
-       }
-       update(update) {
-           let config = update.state.facet(lintConfig);
-           if (update.docChanged || config != update.startState.facet(lintConfig) ||
-               config.needsRefresh && config.needsRefresh(update)) {
-               this.lintTime = Date.now() + config.delay;
-               if (!this.set) {
-                   this.set = true;
-                   this.timeout = setTimeout(this.run, config.delay);
-               }
-           }
-       }
-       force() {
-           if (this.set) {
-               this.lintTime = Date.now();
-               this.run();
-           }
-       }
-       destroy() {
-           clearTimeout(this.timeout);
-       }
-   });
-   const lintConfig = /*@__PURE__*/Facet.define({
-       combine(input) {
-           return Object.assign({ sources: input.map(i => i.source) }, combineConfig(input.map(i => i.config), {
-               delay: 750,
-               markerFilter: null,
-               tooltipFilter: null,
-               needsRefresh: null
-           }, {
-               needsRefresh: (a, b) => !a ? b : !b ? a : u => a(u) || b(u)
-           }));
-       },
-       enables: lintPlugin
-   });
-   function assignKeys(actions) {
-       let assigned = [];
-       if (actions)
-           actions: for (let { name } of actions) {
-               for (let i = 0; i < name.length; i++) {
-                   let ch = name[i];
-                   if (/[a-zA-Z]/.test(ch) && !assigned.some(c => c.toLowerCase() == ch.toLowerCase())) {
-                       assigned.push(ch);
-                       continue actions;
-                   }
-               }
-               assigned.push("");
-           }
-       return assigned;
-   }
-   function renderDiagnostic(view, diagnostic, inPanel) {
-       var _a;
-       let keys = inPanel ? assignKeys(diagnostic.actions) : [];
-       return crelt("li", { class: "cm-diagnostic cm-diagnostic-" + diagnostic.severity }, crelt("span", { class: "cm-diagnosticText" }, diagnostic.renderMessage ? diagnostic.renderMessage() : diagnostic.message), (_a = diagnostic.actions) === null || _a === void 0 ? void 0 : _a.map((action, i) => {
-           let fired = false, click = (e) => {
-               e.preventDefault();
-               if (fired)
-                   return;
-               fired = true;
-               let found = findDiagnostic(view.state.field(lintState).diagnostics, diagnostic);
-               if (found)
-                   action.apply(view, found.from, found.to);
-           };
-           let { name } = action, keyIndex = keys[i] ? name.indexOf(keys[i]) : -1;
-           let nameElt = keyIndex < 0 ? name : [name.slice(0, keyIndex),
-               crelt("u", name.slice(keyIndex, keyIndex + 1)),
-               name.slice(keyIndex + 1)];
-           return crelt("button", {
-               type: "button",
-               class: "cm-diagnosticAction",
-               onclick: click,
-               onmousedown: click,
-               "aria-label": ` Action: ${name}${keyIndex < 0 ? "" : ` (access key "${keys[i]})"`}.`
-           }, nameElt);
-       }), diagnostic.source && crelt("div", { class: "cm-diagnosticSource" }, diagnostic.source));
-   }
-   class DiagnosticWidget extends WidgetType {
-       constructor(diagnostic) {
-           super();
-           this.diagnostic = diagnostic;
-       }
-       eq(other) { return other.diagnostic == this.diagnostic; }
-       toDOM() {
-           return crelt("span", { class: "cm-lintPoint cm-lintPoint-" + this.diagnostic.severity });
-       }
-   }
-   class PanelItem {
-       constructor(view, diagnostic) {
-           this.diagnostic = diagnostic;
-           this.id = "item_" + Math.floor(Math.random() * 0xffffffff).toString(16);
-           this.dom = renderDiagnostic(view, diagnostic, true);
-           this.dom.id = this.id;
-           this.dom.setAttribute("role", "option");
-       }
-   }
-   class LintPanel {
-       constructor(view) {
-           this.view = view;
-           this.items = [];
-           let onkeydown = (event) => {
-               if (event.keyCode == 27) { // Escape
-                   closeLintPanel(this.view);
-                   this.view.focus();
-               }
-               else if (event.keyCode == 38 || event.keyCode == 33) { // ArrowUp, PageUp
-                   this.moveSelection((this.selectedIndex - 1 + this.items.length) % this.items.length);
-               }
-               else if (event.keyCode == 40 || event.keyCode == 34) { // ArrowDown, PageDown
-                   this.moveSelection((this.selectedIndex + 1) % this.items.length);
-               }
-               else if (event.keyCode == 36) { // Home
-                   this.moveSelection(0);
-               }
-               else if (event.keyCode == 35) { // End
-                   this.moveSelection(this.items.length - 1);
-               }
-               else if (event.keyCode == 13) { // Enter
-                   this.view.focus();
-               }
-               else if (event.keyCode >= 65 && event.keyCode <= 90 && this.selectedIndex >= 0) { // A-Z
-                   let { diagnostic } = this.items[this.selectedIndex], keys = assignKeys(diagnostic.actions);
-                   for (let i = 0; i < keys.length; i++)
-                       if (keys[i].toUpperCase().charCodeAt(0) == event.keyCode) {
-                           let found = findDiagnostic(this.view.state.field(lintState).diagnostics, diagnostic);
-                           if (found)
-                               diagnostic.actions[i].apply(view, found.from, found.to);
-                       }
-               }
-               else {
-                   return;
-               }
-               event.preventDefault();
-           };
-           let onclick = (event) => {
-               for (let i = 0; i < this.items.length; i++) {
-                   if (this.items[i].dom.contains(event.target))
-                       this.moveSelection(i);
-               }
-           };
-           this.list = crelt("ul", {
-               tabIndex: 0,
-               role: "listbox",
-               "aria-label": this.view.state.phrase("Diagnostics"),
-               onkeydown,
-               onclick
-           });
-           this.dom = crelt("div", { class: "cm-panel-lint" }, this.list, crelt("button", {
-               type: "button",
-               name: "close",
-               "aria-label": this.view.state.phrase("close"),
-               onclick: () => closeLintPanel(this.view)
-           }, "×"));
-           this.update();
-       }
-       get selectedIndex() {
-           let selected = this.view.state.field(lintState).selected;
-           if (!selected)
-               return -1;
-           for (let i = 0; i < this.items.length; i++)
-               if (this.items[i].diagnostic == selected.diagnostic)
-                   return i;
-           return -1;
-       }
-       update() {
-           let { diagnostics, selected } = this.view.state.field(lintState);
-           let i = 0, needsSync = false, newSelectedItem = null;
-           diagnostics.between(0, this.view.state.doc.length, (_start, _end, { spec }) => {
-               let found = -1, item;
-               for (let j = i; j < this.items.length; j++)
-                   if (this.items[j].diagnostic == spec.diagnostic) {
-                       found = j;
-                       break;
-                   }
-               if (found < 0) {
-                   item = new PanelItem(this.view, spec.diagnostic);
-                   this.items.splice(i, 0, item);
-                   needsSync = true;
-               }
-               else {
-                   item = this.items[found];
-                   if (found > i) {
-                       this.items.splice(i, found - i);
-                       needsSync = true;
-                   }
-               }
-               if (selected && item.diagnostic == selected.diagnostic) {
-                   if (!item.dom.hasAttribute("aria-selected")) {
-                       item.dom.setAttribute("aria-selected", "true");
-                       newSelectedItem = item;
-                   }
-               }
-               else if (item.dom.hasAttribute("aria-selected")) {
-                   item.dom.removeAttribute("aria-selected");
-               }
-               i++;
-           });
-           while (i < this.items.length && !(this.items.length == 1 && this.items[0].diagnostic.from < 0)) {
-               needsSync = true;
-               this.items.pop();
-           }
-           if (this.items.length == 0) {
-               this.items.push(new PanelItem(this.view, {
-                   from: -1, to: -1,
-                   severity: "info",
-                   message: this.view.state.phrase("No diagnostics")
-               }));
-               needsSync = true;
-           }
-           if (newSelectedItem) {
-               this.list.setAttribute("aria-activedescendant", newSelectedItem.id);
-               this.view.requestMeasure({
-                   key: this,
-                   read: () => ({ sel: newSelectedItem.dom.getBoundingClientRect(), panel: this.list.getBoundingClientRect() }),
-                   write: ({ sel, panel }) => {
-                       if (sel.top < panel.top)
-                           this.list.scrollTop -= panel.top - sel.top;
-                       else if (sel.bottom > panel.bottom)
-                           this.list.scrollTop += sel.bottom - panel.bottom;
-                   }
-               });
-           }
-           else if (this.selectedIndex < 0) {
-               this.list.removeAttribute("aria-activedescendant");
-           }
-           if (needsSync)
-               this.sync();
-       }
-       sync() {
-           let domPos = this.list.firstChild;
-           function rm() {
-               let prev = domPos;
-               domPos = prev.nextSibling;
-               prev.remove();
-           }
-           for (let item of this.items) {
-               if (item.dom.parentNode == this.list) {
-                   while (domPos != item.dom)
-                       rm();
-                   domPos = item.dom.nextSibling;
-               }
-               else {
-                   this.list.insertBefore(item.dom, domPos);
-               }
-           }
-           while (domPos)
-               rm();
-       }
-       moveSelection(selectedIndex) {
-           if (this.selectedIndex < 0)
-               return;
-           let field = this.view.state.field(lintState);
-           let selection = findDiagnostic(field.diagnostics, this.items[selectedIndex].diagnostic);
-           if (!selection)
-               return;
-           this.view.dispatch({
-               selection: { anchor: selection.from, head: selection.to },
-               scrollIntoView: true,
-               effects: movePanelSelection.of(selection)
-           });
-       }
-       static open(view) { return new LintPanel(view); }
-   }
-   function svg(content, attrs = `viewBox="0 0 40 40"`) {
-       return `url('data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" ${attrs}>${encodeURIComponent(content)}</svg>')`;
-   }
-   function underline(color) {
-       return svg(`<path d="m0 2.5 l2 -1.5 l1 0 l2 1.5 l1 0" stroke="${color}" fill="none" stroke-width=".7"/>`, `width="6" height="3"`);
-   }
-   const baseTheme = /*@__PURE__*/EditorView.baseTheme({
-       ".cm-diagnostic": {
-           padding: "3px 6px 3px 8px",
-           marginLeft: "-1px",
-           display: "block",
-           whiteSpace: "pre-wrap"
-       },
-       ".cm-diagnostic-error": { borderLeft: "5px solid #d11" },
-       ".cm-diagnostic-warning": { borderLeft: "5px solid orange" },
-       ".cm-diagnostic-info": { borderLeft: "5px solid #999" },
-       ".cm-diagnosticAction": {
-           font: "inherit",
-           border: "none",
-           padding: "2px 4px",
-           backgroundColor: "#444",
-           color: "white",
-           borderRadius: "3px",
-           marginLeft: "8px",
-           cursor: "pointer"
-       },
-       ".cm-diagnosticSource": {
-           fontSize: "70%",
-           opacity: .7
-       },
-       ".cm-lintRange": {
-           backgroundPosition: "left bottom",
-           backgroundRepeat: "repeat-x",
-           paddingBottom: "0.7px",
-       },
-       ".cm-lintRange-error": { backgroundImage: /*@__PURE__*/underline("#d11") },
-       ".cm-lintRange-warning": { backgroundImage: /*@__PURE__*/underline("orange") },
-       ".cm-lintRange-info": { backgroundImage: /*@__PURE__*/underline("#999") },
-       ".cm-lintRange-active": { backgroundColor: "#ffdd9980" },
-       ".cm-tooltip-lint": {
-           padding: 0,
-           margin: 0
-       },
-       ".cm-lintPoint": {
-           position: "relative",
-           "&:after": {
-               content: '""',
-               position: "absolute",
-               bottom: 0,
-               left: "-2px",
-               borderLeft: "3px solid transparent",
-               borderRight: "3px solid transparent",
-               borderBottom: "4px solid #d11"
-           }
-       },
-       ".cm-lintPoint-warning": {
-           "&:after": { borderBottomColor: "orange" }
-       },
-       ".cm-lintPoint-info": {
-           "&:after": { borderBottomColor: "#999" }
-       },
-       ".cm-panel.cm-panel-lint": {
-           position: "relative",
-           "& ul": {
-               maxHeight: "100px",
-               overflowY: "auto",
-               "& [aria-selected]": {
-                   backgroundColor: "#ddd",
-                   "& u": { textDecoration: "underline" }
-               },
-               "&:focus [aria-selected]": {
-                   background_fallback: "#bdf",
-                   backgroundColor: "Highlight",
-                   color_fallback: "white",
-                   color: "HighlightText"
-               },
-               "& u": { textDecoration: "none" },
-               padding: 0,
-               margin: 0
-           },
-           "& [name=close]": {
-               position: "absolute",
-               top: "0",
-               right: "2px",
-               background: "inherit",
-               border: "none",
-               font: "inherit",
-               padding: 0,
-               margin: 0
-           }
-       }
-   });
-
    function base64Encode (str) {
      // https://stackoverflow.com/questions/30106476/using-javascripts-atob-to-decode-base64-doesnt-properly-decode-utf-8-strings
      return btoa(encodeURIComponent(str).replace(/%([0-9A-F]{2})/g,
@@ -24653,8 +23882,7 @@
        ...searchKeymap,
        ...historyKeymap,
        ...foldKeymap,
-       ...completionKeymap,
-       ...lintKeymap
+       ...completionKeymap
      ]);
      const sqlConfig = {
        dialect: MySQL,
@@ -25185,12 +24413,19 @@
      closeElement.focus();
    }
 
+   function closePopup () {
+     const wrapperElement = document.getElementById('popup-wrapper');
+     if (wrapperElement) {
+       document.body.removeChild(wrapperElement);
+       return true
+     }
+     return false
+   }
+
    document.addEventListener('keydown', (event) => {
      if (event.code === 'Escape') {
-       const wrapperElement = document.getElementById('popup-wrapper');
-       if (wrapperElement) {
+       if (closePopup()) {
          event.preventDefault();
-         document.body.removeChild(wrapperElement);
        }
      } else if (event.code === 'Tab') {
        const wrapperElement = document.getElementById('popup-wrapper');
@@ -25403,14 +24638,24 @@
 
    function focus (selection = null) {
      window.editorView.focus();
-     if (selection) setSelection(selection);
+     if (selection) {
+       setSelection(selection);
+     }
    }
 
-   function getValue () {
+   function getEditorValue () {
      return window.editorView.state.doc.toString()
    }
 
-   function setValue (value) {
+   function isLastEditorValueSet (value) {
+     return window.lastEditorValueSet === value
+   }
+
+   function setEditorValue (value) {
+     window.lastEditorValueSet = value;
+     if (getEditorValue() === value) {
+       return
+     }
      window.editorView.dispatch({
        changes: {
          from: 0,
@@ -25454,6 +24699,8 @@
    }
 
    function route (target = null, event = null, url = null, internal = false) {
+     closePopup();
+
      if (url) {
        if (event) {
          event.preventDefault();
@@ -25493,7 +24740,7 @@
 
      switch (window.tab) {
        case 'query':
-         selectResultTab(internal);
+         selectQueryTab(internal);
          break
        case 'graph':
          selectGraphTab(internal);
@@ -25534,42 +24781,53 @@
        selected.style.display = 'flex';
      });
 
+     const schemaNames = Object.keys(window.metadata.schemas);
+     const schemasElement = document.getElementById('schemas');
+     const tablesElement = document.getElementById('tables');
+     if (schemaNames.length === 1) {
+       setTimeout(() => { tablesElement.focus(); }, 0);
+     } else {
+       setTimeout(() => { schemasElement.focus(); }, 0);
+     }
+
      if (window.structureLoaded) {
        return
      }
 
-     const schemasElement = document.getElementById('schemas');
-     const tablesElement = document.getElementById('tables');
      const statsElement = document.getElementById('stats');
      statsElement.innerHTML = statsHtml(null);
 
      const columnsElement = document.getElementById('columns');
      const indexesElement = document.getElementById('indexes');
 
-     const schemaNames = Object.keys(window.metadata.schemas);
      if (schemaNames.length === 1) {
        schemasElement.style.display = 'none';
        // TODO: duplicate code
-       while (tablesElement.firstChild) {
-         tablesElement.removeChild(tablesElement.firstChild);
-       }
        const schemaName = schemaNames[0];
        const schema = window.metadata.schemas[schemaName];
        const tableNames = Object.keys(schema.tables);
+
        tableNames.forEach(function (tableName) {
          const optionElement = document.createElement('option');
          optionElement.value = tableName;
          optionElement.innerText = tableName;
          tablesElement.appendChild(optionElement);
        });
+       if (tableNames.length > 0) {
+         tablesElement.value = tableNames[0];
+       }
      } else {
        schemasElement.style.display = 'flex';
+
        schemaNames.forEach(function (schemaName) {
          const optionElement = document.createElement('option');
          optionElement.value = schemaName;
          optionElement.innerText = schemaName;
          schemasElement.appendChild(optionElement);
        });
+       if (schemaNames.length > 0) {
+         schemasElement.value = schemaNames[0];
+       }
        schemasElement.addEventListener('change', function () {
          while (statsElement.firstChild) {
            statsElement.removeChild(statsElement.firstChild);
@@ -25587,12 +24845,16 @@
          const schemaName = schemasElement.value;
          const schema = window.metadata.schemas[schemaName];
          const tableNames = Object.keys(schema.tables);
+
          tableNames.forEach(function (tableName) {
            const optionElement = document.createElement('option');
            optionElement.value = tableName;
            optionElement.innerText = tableName;
            tablesElement.appendChild(optionElement);
          });
+         if (tableNames.length > 0) {
+           tablesElement.value = tableNames[0];
+         }
        });
      }
      tablesElement.addEventListener('change', function () {
@@ -25654,10 +24916,20 @@
        }
      });
      window.structureLoaded = true;
+
+     if (schemaNames.length === 1) {
+       setTimeout(() => { tablesElement.focus(); }, 0);
+     } else {
+       setTimeout(() => { schemasElement.focus(); }, 0);
+     }
+
+     tablesElement.dispatchEvent(new Event('change'));
    }
 
    function selectHelpTab () {
-     document.getElementById('help-box').style.display = 'block';
+     const helpBoxElement = document.getElementById('help-box');
+     helpBoxElement.style.display = 'block';
+     setTimeout(() => { helpBoxElement.focus(); }, 0);
    }
 
    function selectGraphTab (internal) {
@@ -25667,12 +24939,11 @@
      document.getElementById('fetch-sql-box').style.display = 'none';
      document.getElementById('cancel-button').style.visibility = 'hidden';
      updateDownloadButtons(window?.sqlFetch);
-     maybeFetchResult(internal);
-
      focus(getSelection());
+     maybeFetchResult(internal);
    }
 
-   function selectResultTab (internal) {
+   function selectQueryTab (internal) {
      document.getElementById('query-box').style.display = 'flex';
      document.getElementById('submit-box').style.display = 'flex';
      document.getElementById('result-box').style.display = 'flex';
@@ -25688,6 +24959,8 @@
      });
 
      const savedElement = document.getElementById('saved-box');
+     setTimeout(() => { savedElement.focus(); }, 0);
+
      const saved = window.metadata.saved;
      const numFiles = Object.keys(saved).length;
      setStatus(`${numFiles} file${numFiles === 1 ? '' : 's'}`);
@@ -25721,10 +24994,15 @@
        runLinkElement.href = runUrl.pathname + runUrl.search;
        addEventListener(runLinkElement, 'click', (event) => {
          clearResult();
-         route(event.target, event, viewUrl, true);
          route(event.target, event, runUrl, true);
        });
 
+       const viewOnGithubLinkElement = document.createElement('a');
+       viewOnGithubLinkElement.classList.add('link', 'view-github-link');
+       viewOnGithubLinkElement.innerText = 'github';
+       viewOnGithubLinkElement.href = file.github_url;
+       viewOnGithubLinkElement.target = '_blank';
+
        const nameElement = document.createElement('h2');
        nameElement.innerText = file.filename;
        nameElement.classList.add('name');
@@ -25733,6 +25011,7 @@
        linksElement.classList.add('links');
        linksElement.appendChild(viewLinkElement);
        linksElement.appendChild(runLinkElement);
+       linksElement.appendChild(viewOnGithubLinkElement);
 
        const descriptionElement = document.createElement('p');
        descriptionElement.innerText = file.description;
@@ -25764,15 +25043,18 @@
      if (!target || !event) {
        throw new Error('you must specify target and event')
      }
-     clearResult();
+
+     window.lastSetSelectionValueFromUrlParam = null;
+     window.lastEditorValueSet = null;
+
      const url = new URL(window.location);
-     let sql = getValue().trim();
+     let sql = getEditorValue().trim();
      sql = sql === '' ? null : sql;
 
      url.searchParams.set('run', 'true');
 
      if (url.searchParams.has('file')) {
-       if (window.metadata.saved[url.searchParams.get('file')].contents !== getValue()) {
+       if (window.metadata.saved[url.searchParams.get('file')].contents !== getEditorValue()) {
          url.searchParams.delete('file');
          url.searchParams.set('sql', sql);
        }
@@ -25952,18 +25234,36 @@
      const hasSqluiReferrer = document.referrer && new URL(document.referrer).origin === url.origin;
      const variables = parseSqlVariables(params);
 
+     if (params.has('file') && params.has('sql')) {
+       // TODO: show an error.
+       throw new Error('You can only specify a file or sql, not both.')
+     }
+
      // Only allow auto-run if coming from another SQLUI page. The idea here is to let the app link to URLs with run=true
      // but not other apps. This allows meta/shift-clicking to run a query.
-     let run = false;
      if (params.has('run')) {
-       run = (internal || hasSqluiReferrer) && ['1', 'true'].includes(params.get('run')?.toLowerCase());
        url.searchParams.delete('run');
        window.history.replaceState({}, '', url);
-     }
+       clearResult();
 
-     if (params.has('file') && params.has('sql')) {
-       // TODO: show an error.
-       throw new Error('You can only specify a file or sql, not both.')
+       if (!internal && !hasSqluiReferrer) {
+         throw new Error('run only allowed for internal usage')
+       }
+
+       if (params.has('sql') || params.has('file')) {
+         const sqlFetch = buildSqlFetch(sql, file, variables, selection);
+         setEditorValue(sqlFetch.sql);
+         if (params.has('selection')) {
+           window.lastSetSelectionValueFromUrlParam = selection;
+           focus(selection);
+         } else {
+           window.lastSetSelectionValueFromUrlParam = null;
+         }
+         fetchSql(sqlFetch);
+         return
+       } else {
+         throw new Error('run param specified without sql or file')
+       }
      }
 
      const existingRequest = window.sqlFetch;
@@ -25975,7 +25275,7 @@
        const queryMatches = sqlMatches || fileMatches;
        if (selectionMatches && queryMatches && variablesMatch) {
          displaySqlFetch(existingRequest);
-         if (params.has('selection')) {
+         if (params.has('selection') && window.lastSetSelectionValueFromUrlParam !== selection) {
            focus(selection);
          }
          return
@@ -25985,13 +25285,12 @@
      clearResult();
 
      const sqlFetch = buildSqlFetch(sql, file, variables, selection);
-     if (params.has('sql') || params.has('file')) {
-       setValue(sqlFetch.sql);
-       if (run) {
-         fetchSql(sqlFetch);
-       }
+     if ((params.has('sql') || params.has('file')) && !isLastEditorValueSet(sqlFetch.sql)) {
+       setEditorValue(sqlFetch.sql);
      }
-     if (params.has('selection')) {
+
+     if (params.has('selection') && window.lastSetSelectionValueFromUrlParam !== selection) {
+       window.lastSetSelectionValueFromUrlParam = selection;
        focus(selection);
      }
    }
@@ -26173,7 +25472,7 @@
              const row = parseInt(node.dataset.row);
              const column = parseInt(node.dataset.column);
              const title = window.sqlFetch.result.columns[column].replaceAll('\n', '¶');
-             if (event.metaKey) {
+             if (event.metaKey || event.ctrlKey) {
                createPopup(title, window.sqlFetch.result.rows[row][column]);
              } else if (event.altKey) {
                copyTextToClipboard(window.sqlFetch.result.rows[row][column]);
@@ -26398,8 +25697,38 @@
    });
 
    document.addEventListener('keydown', (event) => {
+     if (event.code === 'ControlLeft' || event.code === 'ControlRight') {
+       Array.prototype.forEach.call(document.getElementsByClassName('keyboard-shortcut-indicator'), function (selected) {
+         selected.style.visibility = 'visible';
+       });
+     }
+
      if (event.code === 'Escape') {
        focus();
+       return
+     }
+
+     const isMac = navigator.userAgent.includes('Mac');
+     if (isMac && event.code === 'Digit0' && event.ctrlKey) {
+       document.getElementById('header-link').click();
+     } else if (isMac && event.code === 'Digit1' && event.ctrlKey) {
+       selectTab(event, 'query');
+     } else if (isMac && event.code === 'Digit2' && event.ctrlKey) {
+       selectTab(event, 'graph');
+     } else if (isMac && event.code === 'Digit3' && event.ctrlKey) {
+       selectTab(event, 'saved');
+     } else if (isMac && event.code === 'Digit4' && event.ctrlKey) {
+       selectTab(event, 'structure');
+     } else if (isMac && event.code === 'Digit5' && event.ctrlKey) {
+       selectTab(event, 'help');
+     }
+   });
+
+   document.addEventListener('keyup', (event) => {
+     if ((event.code === 'ControlLeft' || event.code === 'ControlRight') && !event.ctrlKey) {
+       Array.prototype.forEach.call(document.getElementsByClassName('keyboard-shortcut-indicator'), function (selected) {
+         selected.style.visibility = 'hidden';
+       });
      }
    });