123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215 |
- /* -----------------------------------------------------------------------------
- | Copyright (c) Jupyter Development Team.
- | Distributed under the terms of the Modified BSD License.
- |----------------------------------------------------------------------------*/
- import { Token } from '@lumino/coreutils';
- import { IDisposable } from '@lumino/disposable';
- import { Message } from '@lumino/messaging';
- import { CommandPalette, Panel, Widget } from '@lumino/widgets';
- import { searchIcon } from '@jupyterlab/ui-components';
- /* tslint:disable */
- /**
- * The command palette token.
- */
- export const ICommandPalette = new Token<ICommandPalette>(
- '@jupyterlab/apputils:ICommandPalette'
- );
- /* tslint:enable */
- /**
- * The options for creating a command palette item.
- */
- export interface IPaletteItem extends CommandPalette.IItemOptions {}
- /**
- * The interface for a Jupyter Lab command palette.
- */
- export interface ICommandPalette {
- /**
- * The placeholder text of the command palette's search input.
- */
- placeholder: string;
- /**
- * Activate the command palette for user input.
- */
- activate(): void;
- /**
- * Add a command item to the command palette.
- *
- * @param options - The options for creating the command item.
- *
- * @returns A disposable that will remove the item from the palette.
- */
- addItem(options: IPaletteItem): IDisposable;
- }
- /**
- * Class name identifying the input group with search icon.
- */
- const SEARCH_ICON_GROUP_CLASS = 'jp-SearchIconGroup';
- /**
- * Wrap the command palette in a modal to make it more usable.
- */
- export class ModalCommandPalette extends Panel {
- constructor(options: ModalCommandPalette.IOptions) {
- super();
- this.addClass('jp-ModalCommandPalette');
- this.id = 'modal-command-palette';
- this.palette = options.commandPalette;
- this._commandPalette.commands.commandExecuted.connect(() => {
- if (this.isAttached && this.isVisible) {
- this.hideAndReset();
- }
- });
- // required to properly receive blur and focus events;
- // selection of items with mouse may not work without this.
- this.node.tabIndex = 0;
- }
- get palette(): CommandPalette {
- return this._commandPalette;
- }
- set palette(value: CommandPalette) {
- this._commandPalette = value;
- if (!this.searchIconGroup) {
- this._commandPalette.inputNode.insertAdjacentElement(
- 'afterend',
- this.createSearchIconGroup()
- );
- }
- this.addWidget(value);
- this.hideAndReset();
- }
- attach(): void {
- Widget.attach(this, document.body);
- }
- detach(): void {
- Widget.detach(this);
- }
- /**
- * Hide the modal command palette and reset its search.
- */
- hideAndReset(): void {
- this.hide();
- this._commandPalette.inputNode.value = '';
- this._commandPalette.refresh();
- }
- /**
- * Handle incoming events.
- */
- handleEvent(event: Event): void {
- switch (event.type) {
- case 'keydown':
- this._evtKeydown(event as KeyboardEvent);
- break;
- case 'blur': {
- // if the focus shifted outside of this DOM element, hide and reset.
- if (
- // focus went away from child element
- this.node.contains(event.target as HTMLElement) &&
- // and it did NOT go to another child element but someplace else
- !this.node.contains(
- (event as MouseEvent).relatedTarget as HTMLElement
- )
- ) {
- event.stopPropagation();
- this.hideAndReset();
- }
- break;
- }
- case 'contextmenu':
- event.preventDefault();
- event.stopPropagation();
- break;
- default:
- break;
- }
- }
- /**
- * Find the element with search icon group.
- */
- protected get searchIconGroup(): HTMLDivElement | undefined {
- return this._commandPalette.node.getElementsByClassName(
- SEARCH_ICON_GROUP_CLASS
- )[0] as HTMLDivElement;
- }
- /**
- * Create element with search icon group.
- */
- protected createSearchIconGroup(): HTMLDivElement {
- const inputGroup = document.createElement('div');
- inputGroup.classList.add(SEARCH_ICON_GROUP_CLASS);
- searchIcon.render(inputGroup);
- return inputGroup;
- }
- /**
- * A message handler invoked on an `'after-attach'` message.
- */
- protected onAfterAttach(msg: Message): void {
- this.node.addEventListener('keydown', this, true);
- this.node.addEventListener('contextmenu', this, true);
- }
- /**
- * A message handler invoked on an `'after-detach'` message.
- */
- protected onAfterDetach(msg: Message): void {
- this.node.removeEventListener('keydown', this, true);
- this.node.removeEventListener('contextmenu', this, true);
- }
- protected onBeforeHide(msg: Message): void {
- document.removeEventListener('blur', this, true);
- }
- protected onAfterShow(msg: Message): void {
- document.addEventListener('blur', this, true);
- }
- /**
- * A message handler invoked on an `'activate-request'` message.
- */
- protected onActivateRequest(msg: Message): void {
- if (this.isAttached) {
- this.show();
- this._commandPalette.activate();
- }
- }
- /**
- * Handle the `'keydown'` event for the widget.
- */
- protected _evtKeydown(event: KeyboardEvent): void {
- // Check for escape key
- switch (event.keyCode) {
- case 27: // Escape.
- event.stopPropagation();
- event.preventDefault();
- this.hideAndReset();
- break;
- default:
- break;
- }
- }
- private _commandPalette: CommandPalette;
- }
- export namespace ModalCommandPalette {
- export interface IOptions {
- commandPalette: CommandPalette;
- }
- }
|