@kui-shell/plugin-core-support/mdist/lib/cmds/zoom.js

Kui plugin offering core extensions such as help and screenshot commands

/*
 * Copyright 2018 The Kubernetes Authors
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
    return new (P || (P = Promise))(function (resolve, reject) {
        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
        step((generator = generator.apply(thisArg, _arguments || [])).next());
    });
};
const MAX_ZOOM_IN = 12;
const MAX_ZOOM_OUT = -2;
/**
 * Keyboard event character codes
 *
 */
const keys = {
    ZOOM_RESET: 48,
    ZOOM_IN: 187,
    ZOOM_OUT: 189
};
/**
 * Command usage model
 *
 */
const usage = {
    get: {
        command: 'get',
        strict: 'get',
        docs: 'Get the current font zoom level'
    },
    reset: {
        command: 'reset',
        strict: 'reset',
        docs: 'Reset the current font zoom level to the default'
    },
    set: {
        command: 'set',
        strict: 'set',
        docs: 'Set the current font zoom level',
        required: [
            {
                name: 'level',
                numeric: true,
                docs: 'A zoom level',
                allowed: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 0, -1, -2],
                defaultValue: 1
            }
        ]
    }
};
/**
 * Command handler for zoom set
 *
 */
const _set = newZoom => {
    const main = document.querySelector('html');
    if (newZoom <= MAX_ZOOM_IN && newZoom >= MAX_ZOOM_OUT) {
        // zoom, if we are within the supported zoom extent
        main.setAttribute('data-zoom', newZoom);
        // maybe? repl.scrollIntoView()
    }
    else {
        throw new Error('Unsupported zoom level');
    }
    const editors = document.querySelectorAll('.monaco-editor-wrapper');
    for (let idx = 0; idx < editors.length; idx++) {
        const editor = editors[idx]['editor'];
        if (editor) {
            if (editor && editor.updateOptions) {
                const delta = editors[idx]['baseFontSize'] * 0.0625 * newZoom;
                const newFontSize = editors[idx]['baseFontSize'] + delta;
                editor.updateOptions({ fontSize: newFontSize });
            }
        }
    }
    return true;
};
function set({ argvNoOptions }) {
    return __awaiter(this, void 0, void 0, function* () {
        const newZoom = argvNoOptions[argvNoOptions.indexOf('set') + 1];
        return _set(newZoom);
    });
}
/**
 * Command handler for zoom reset
 *
 */
const reset = () => _set(1);
/**
 * onkeydown event listener
 *
 */
const listener = (event) => __awaiter(void 0, void 0, void 0, function* () {
    const char = event.keyCode;
    if (event.shiftKey) {
        // if the shift key include in the chord, then this does not
        // represent a zoom event
        return;
    }
    if (char === keys.ZOOM_RESET && (event.ctrlKey || event.metaKey)) {
        // zooming
        event.preventDefault();
        reset();
        setTimeout(() => __awaiter(void 0, void 0, void 0, function* () {
            const { eventChannelUnsafe } = yield import('@kui-shell/core/mdist/api/Events');
            eventChannelUnsafe.emit('/zoom', 1);
        }), 100);
    }
    else if ((char === keys.ZOOM_IN || char === keys.ZOOM_OUT) && (event.ctrlKey || event.metaKey) && !event.shiftKey) {
        // zooming
        event.preventDefault();
        const main = document.querySelector('html');
        const factor = char === keys.ZOOM_IN ? 1 : -1;
        const newZoom = parseInt(main.getAttribute('data-zoom') || '1', 10) + factor;
        _set(newZoom);
        setTimeout(() => __awaiter(void 0, void 0, void 0, function* () {
            const { eventChannelUnsafe } = yield import('@kui-shell/core/mdist/api/Events');
            eventChannelUnsafe.emit('/zoom', newZoom);
        }), 100);
    }
});
/**
 * Return the current zoom level
 *
 */
const get = () => {
    const main = document.querySelector('html');
    return parseInt(main.getAttribute('data-zoom') || '1', 10);
};
/**
 * Plugin registration
 *
 */
export function plugin(registrar) {
    if (typeof document === 'undefined')
        return;
    registrar.listen('/zoom/get', get, { usage: usage.get });
    registrar.listen('/zoom/set', set, { usage: usage.set });
    registrar.listen('/zoom/reset', reset, { usage: usage.reset });
}
export function preload() {
    if (typeof document === 'undefined')
        return;
    // register as a listener for keyboard events; note that this
    // requires that this plugin be preloaded, i.e. stick it in
    // preload.json
    document.addEventListener('keydown', listener);
}
//# sourceMappingURL=zoom.js.map