Commit 68e58d5

author

Akos Kitta

committed

Removed File > Close Editor.

Closes #660 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>

1 parent 883796f commit 68e58d5Copy full SHA for 68e58d5

File tree

+18

-0

lines changed

arduino-ide-extension/src/browser
- arduino-ide-frontend-module.ts
- theia/editor
  - editor-file.ts

+18

-0

lines changed

Lines changed: 6 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -321,6 +321,8 @@ import { MonacoThemeServiceIsReady } from './utils/window';`
`321`	`321`	`import { Deferred } from '@theia/core/lib/common/promise-util';`
`322`	`322`	`import { StatusBarImpl } from './theia/core/status-bar';`
`323`	`323`	`import { StatusBarImpl as TheiaStatusBarImpl } from '@theia/core/lib/browser';`
	`324`	`+import { EditorMenuContribution } from './theia/editor/editor-file';`
	`325`	`+import { EditorMenuContribution as TheiaEditorMenuContribution } from '@theia/editor/lib/browser/editor-menu';`
`324`	`326`
`325`	`327`	`const registerArduinoThemes = () => {`
`326`	`328`	`const themes: MonacoThemeJson[] = [`
`@@ -640,6 +642,10 @@ export default new ContainerModule((bind, unbind, isBound, rebind) => {`
`640`	`642`	`bind(WindowContribution).toSelf().inSingletonScope();`
`641`	`643`	`rebind(TheiaWindowContribution).toService(WindowContribution);`
`642`	`644`
	`645`	+ // To remove `File` > `Close Editor`.
	`646`	`+ bind(EditorMenuContribution).toSelf().inSingletonScope();`
	`647`	`+ rebind(TheiaEditorMenuContribution).toService(EditorMenuContribution);`
	`648`	`+`
`643`	`649`	`bind(ArduinoDaemon)`
`644`	`650`	`.toDynamicValue((context) =>`
`645`	`651`	`WebSocketConnectionProvider.createProxy(`

Lines changed: 12 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,12 @@`
	`1`	`+import { MenuModelRegistry } from '@theia/core';`
	`2`	`+import { CommonCommands } from '@theia/core/lib/browser';`
	`3`	`+import { injectable } from '@theia/core/shared/inversify';`
	`4`	`+import { EditorMenuContribution as TheiaEditorMenuContribution } from '@theia/editor/lib/browser/editor-menu';`
	`5`	`+`
	`6`	`+@injectable()`
	`7`	`+export class EditorMenuContribution extends TheiaEditorMenuContribution {`
	`8`	`+ override registerMenus(registry: MenuModelRegistry): void {`
	`9`	`+ super.registerMenus(registry);`
	`10`	`+ registry.unregisterMenuAction(CommonCommands.CLOSE_MAIN_TAB.id);`
	`11`	`+ }`
	`12`	`+}`

Comments

(0)