-
Notifications
You must be signed in to change notification settings - Fork 2.5k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[vscode] support editor/linenumber/context menu
* Adds contextual menu to line number area in text editors * map the predefined vscode entry "editor/linenumber/context" to theia Contributed on behalf of STMicroelectronics Signed-off-by: Remi Schnekenburger <[email protected]>
- Loading branch information
1 parent
507bdc8
commit 18f71da
Showing
5 changed files
with
95 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
86 changes: 86 additions & 0 deletions
86
packages/editor/src/browser/editor-linenumber-contribution.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,86 @@ | ||
| // ***************************************************************************** | ||
| // Copyright (C) 2023 STMicroelectronics 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-only WITH Classpath-exception-2.0 | ||
| // ***************************************************************************** | ||
|
|
||
| import { EditorManager } from './editor-manager'; | ||
| import { EditorMouseEvent, MouseTargetType, Position, TextEditor } from './editor'; | ||
| import { injectable, inject } from '@theia/core/shared/inversify'; | ||
| import { FrontendApplicationContribution, ContextMenuRenderer } from '@theia/core/lib/browser'; | ||
| import { ContextKeyService } from '@theia/core/lib/browser/context-key-service'; | ||
| import { DisposableCollection, MenuPath } from '@theia/core'; | ||
| import { EditorWidget } from './editor-widget'; | ||
|
|
||
| export const EDITOR_LINENUMBER_CONTEXT_MENU: MenuPath = ['editor_linenumber_context_menu']; | ||
|
|
||
| @injectable() | ||
| export class EditorLineNumberContribution implements FrontendApplicationContribution { | ||
|
|
||
| @inject(ContextKeyService) | ||
| protected readonly contextKeyService: ContextKeyService; | ||
|
|
||
| @inject(ContextMenuRenderer) | ||
| protected readonly contextMenuRenderer: ContextMenuRenderer; | ||
|
|
||
| @inject(EditorManager) | ||
| protected readonly editorManager: EditorManager; | ||
|
|
||
| onStart(): void { | ||
| this.editorManager.onCreated(editor => this.addLineNumberContextMenu(editor)); | ||
| } | ||
|
|
||
| protected addLineNumberContextMenu(editorWidget: EditorWidget): void { | ||
| const editor = editorWidget.editor; | ||
| if (editor) { | ||
| const disposables = new DisposableCollection(); | ||
| disposables.push(editor.onMouseDown(event => this.handleContextMenu(editor, event))); | ||
| editorWidget.disposed.connect(() => disposables.dispose()); | ||
| } | ||
| } | ||
|
|
||
| protected handleContextMenu(editor: TextEditor, event: EditorMouseEvent): void { | ||
| if (event.target && event.target.type === MouseTargetType.GUTTER_LINE_NUMBERS) { | ||
| if (event.event.button === 2) { | ||
| editor.focus(); | ||
| const lineNumber = lineNumberFromPosition(event.target.position); | ||
| const contextKeyService = this.contextKeyService.createOverlay([['editorLineNumber', lineNumber]]); | ||
| const uri = editor.getResourceUri()!; | ||
| const args = [{ | ||
| lineNumber: lineNumber, | ||
| uri: uri['codeUri'] | ||
| }]; | ||
|
|
||
| setTimeout(() => { | ||
| this.contextMenuRenderer.render({ | ||
| menuPath: EDITOR_LINENUMBER_CONTEXT_MENU, | ||
| anchor: event.event, | ||
| args, | ||
| contextKeyService, | ||
| onHide: () => contextKeyService.dispose() | ||
| }); | ||
| }); | ||
| } | ||
| } | ||
| } | ||
|
|
||
| } | ||
|
|
||
| function lineNumberFromPosition(position: Position | undefined): number | undefined { | ||
| // position.line is 0-based line position, where the expected editor line number is 1-based. | ||
| if (position) { | ||
| return position.line + 1; | ||
| } | ||
| return undefined; | ||
| } | ||
|
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters