UNPKG

@eclipse-glsp/client

Version:

A sprotty-based client for GLSP

57 lines 2.47 kB
/******************************************************************************** * Copyright (c) 2023 Business Informatics Group (TU Wien) and others. * * This program and the accompanying materials are made available under the * terms of the Eclipse Public License v. 2.0 which is available at * http://www.eclipse.org/legal/epl-2.0. * * This Source Code may also be made available under the following Secondary * Licenses when the conditions for such availability set forth in the Eclipse * Public License v. 2.0 are satisfied: GNU General Public License, version 2 * with the GNU Classpath Exception which is available at * https://www.gnu.org/software/classpath/license.html. * * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0 ********************************************************************************/ import { Action, Point } from '@eclipse-glsp/sprotty'; export interface EnableKeyboardGridAction extends Action { kind: typeof EnableKeyboardGridAction.KIND; options: EnableKeyboardGridAction.Options; } export declare namespace EnableKeyboardGridAction { const KIND = "enableKeyboardGrid"; interface Options { originId: string; triggerActions: Action[]; } function is(object: any): object is EnableKeyboardGridAction; function create(options: Options): EnableKeyboardGridAction; } export interface KeyboardGridCellSelectedAction extends Action { kind: typeof KeyboardGridCellSelectedAction.KIND; options: KeyboardGridCellSelectedAction.Options; } export declare namespace KeyboardGridCellSelectedAction { const KIND = "keyboardGridCellSelectedAction"; interface Options { originId: string; cellId: string; centerCellPosition: Point; } function is(object: any): object is KeyboardGridCellSelectedAction; function create(options: Options): KeyboardGridCellSelectedAction; } export interface KeyboardGridKeyboardEventAction extends Action { kind: typeof KeyboardGridKeyboardEventAction.KIND; options: KeyboardGridKeyboardEventAction.Options; } export declare namespace KeyboardGridKeyboardEventAction { const KIND = "keyboardGridKeyboardEvent"; interface Options { originId: string; event: KeyboardEvent; } function is(object: any): object is KeyboardGridKeyboardEventAction; function create(options: Options): KeyboardGridKeyboardEventAction; } //# sourceMappingURL=action.d.ts.map