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

Bugfix and yarn.lock update

Browse Source 
Signed-off-by: jbicker <jan.bicker@typefox.io>
This commit is contained in:
jbicker
2019-06-25 13:42:03 +02:00
parent b7e17b5828
commit c7c5ab57c2
4 changed files with 320 additions and 1515 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
arduino-ide-extension/src/browser/toolbar/arduino-toolbar-contribution.ts
View File

@@ -2,6 +2,8 @@ import { FrontendApplicationContribution, FrontendApplication } from "@theia/cor
import { injectable, inject } from "inversify";
import { ArduinoToolbar } from "./arduino-toolbar";
import { TabBarToolbarRegistry } from "@theia/core/lib/browser/shell/tab-bar-toolbar";
import { CommandRegistry } from "@theia/core";
import { LabelParser } from "@theia/core/lib/browser/label-parser";
@injectable()
export class ArduinoToolbarContribution implements FrontendApplicationContribution {
@@ -9,10 +11,13 @@ export class ArduinoToolbarContribution implements FrontendApplicationContributi
protected toolbarWidget: ArduinoToolbar;
constructor(
@inject(TabBarToolbarRegistry) protected tabBarToolBarRegistry: TabBarToolbarRegistry) {
this.toolbarWidget = new ArduinoToolbar(tabBarToolBarRegistry);
@inject(TabBarToolbarRegistry) protected tabBarToolBarRegistry: TabBarToolbarRegistry,
@inject(CommandRegistry) protected commandRegistry: CommandRegistry,
@inject(LabelParser) protected labelParser: LabelParser) {
this.toolbarWidget = new ArduinoToolbar(tabBarToolBarRegistry, commandRegistry, labelParser);
}
onStart(app: FrontendApplication) {
app.shell.addWidget(this.toolbarWidget, {
area: 'top'