jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-10-10 11:58:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixed fuzzy. added proper boost.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-22 11:33:28 +02:00
parent fdc5814e66
commit 8aa08cbf6e
7 changed files with 436 additions and 37 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/browser/contributions/edit-contributions.ts
View File

@@ -219,7 +219,7 @@ ${value}
}
protected async run(commandId: string): Promise<any> {
const editor = await this.current();
const editor = await this.current(); // TODO: this should be the active monaco editor and not Theia editor. e.g: Output
if (editor) {
const action = editor.getControl().getAction(commandId);
if (action) {