@kui-shell/plugin-core-support
Version:
Kui plugin offering core extensions such as help and screenshot commands
196 lines (195 loc) • 5.39 kB
JavaScript
;
Object.defineProperty(exports, "__esModule", {
value: true
});
exports.plugin = plugin;
exports.preload = preload;
/*
* 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 = void 0 && (void 0).__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 Promise.resolve().then(() => require('@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 Promise.resolve().then(() => require('@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
*
*/
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
});
}
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);
}