PROEDITOR-20: Restored the dirt flag in editor tab

Signed-off-by: Akos Kitta <kittaakos@typefox.io>

Author: Akos Kitta

arduino-ide-extension/src/browser/arduino-frontend-module.ts

@@ -46,8 +46,6 @@ import { SilentMonacoStatusBarContribution } from './customization/silent-monaco
 import { ApplicationShell } from '@theia/core/lib/browser';
 import { CustomApplicationShell } from './customization/custom-application-shell';
 import { CustomFrontendApplication } from './customization/custom-frontend-application';
-import { EditorWidgetFactory } from '@theia/editor/lib/browser/editor-widget-factory';
-import { CustomEditorWidgetFactory } from './customization/custom-editor-widget-factory';
 import { SelectBoardDialog, SelectBoardDialogProps } from './boards/select-board-dialog';
 import { SelectBoardDialogWidget } from './boards/select-board-dialog-widget';
 
@@ -152,6 +150,4 @@ export default new ContainerModule((bind: interfaces.Bind, unbind: interfaces.Un
     bind(ApplicationShell).to(CustomApplicationShell).inSingletonScope();
     unbind(FrontendApplication);
     bind(FrontendApplication).to(CustomFrontendApplication).inSingletonScope();
-    unbind(EditorWidgetFactory);
-    bind(EditorWidgetFactory).to(CustomEditorWidgetFactory).inSingletonScope();
 });

arduino-ide-extension/src/browser/customization/custom-application-shell.ts

@@ -1,7 +1,33 @@
-import { ApplicationShell } from "@theia/core/lib/browser";
+import { ApplicationShell, Widget, Saveable, FocusTracker, Message } from '@theia/core/lib/browser';
+import { EditorWidget } from '@theia/editor/lib/browser';
 
 export class CustomApplicationShell extends ApplicationShell {
+
     protected refreshBottomPanelToggleButton() {
-        
     }
+
+    protected async track(widget: Widget): Promise<void> {
+        const tracker = (this as any).tracker as FocusTracker<Widget>;
+        tracker.add(widget);
+        this.disableClose(Saveable.apply(widget));
+        if (ApplicationShell.TrackableWidgetProvider.is(widget)) {
+            for (const toTrack of await widget.getTrackableWidgets()) {
+                tracker.add(toTrack);
+                this.disableClose(Saveable.apply(toTrack));
+            }
+            if (widget.onDidChangeTrackableWidgets) {
+                widget.onDidChangeTrackableWidgets(widgets => widgets.forEach(w => this.track(w)));
+            }
+        }
+    }
+
+    private disableClose(widget: Widget | undefined): void {
+        if (widget instanceof EditorWidget) {
+            const onCloseRequest = (_: Message) => {
+                // NOOP
+            };
+            (widget as any).onCloseRequest = onCloseRequest.bind(widget);
+        }
+    }
+
 }

arduino-ide-extension/src/browser/customization/custom-editor-widget-factory.ts

@@ -0,0 +1,13 @@
+/* Do not show the `close` icon for editor, but show the dirty state. */
+.p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable:hover > .p-TabBar-tabCloseIcon,
+.p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-current > .p-TabBar-tabCloseIcon {
+    background-image: none;
+    cursor: pointer;
+}
+
+.p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable.theia-mod-dirty:hover > .p-TabBar-tabCloseIcon,
+.p-TabBar.theia-app-centers .p-TabBar-tab.p-mod-closable.theia-mod-dirty > .p-TabBar-tabCloseIcon:hover {
+    background-size: 10px;
+    background-image: var(--theia-icon-circle);
+    cursor: pointer;
+}

arduino-ide-extension/src/browser/style/editor.css

@@ -1,3 +1,4 @@
 @import './list-widget.css';
 @import './board-select-dialog.css';
 @import './main.css';
+@import './editor.css';