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

Added "Search In Workspace" and "SCM/Git" Extensions.

Browse Source 
Signed-off-by: Jan Bicker <jan.bicker@typefox.io>
This commit is contained in:
Jan Bicker
2019-07-30 15:44:38 +00:00
committed by jbicker
parent 2914379586
commit 9d5ad9b003
5 changed files with 337 additions and 163 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
arduino-ide-extension/src/browser/customization/silent-search-in-workspace-contribution.ts Normal file
View File

@@ -0,0 +1,10 @@
import { injectable } from "inversify";
import { SearchInWorkspaceFrontendContribution } from "@theia/search-in-workspace/lib/browser/search-in-workspace-frontend-contribution";
import { FrontendApplication } from "@theia/core/lib/browser";
@injectable()
export class SilentSearchInWorkspaceContribution extends SearchInWorkspaceFrontendContribution {
async initializeLayout(app: FrontendApplication): Promise<void> {
}
}