widget-manager.ts

importtype{Widget}from'@theia/core/lib/browser';
import{WidgetManagerasTheiaWidgetManager}from'@theia/core/lib/browser/widget-manager';
import{
inject,
injectable,
postConstruct,
}from'@theia/core/shared/inversify';
import{EditorWidget}from'@theia/editor/lib/browser';
import{OutputWidget}from'@theia/output/lib/browser/output-widget';
import{
CurrentSketch,
SketchesServiceClientImpl,
}from'../../sketches-service-client-impl';

@injectable()
exportclassWidgetManagerextendsTheiaWidgetManager{
 @inject(SketchesServiceClientImpl)
privatereadonlysketchesServiceClient: SketchesServiceClientImpl;

 @postConstruct()
protectedinit(): void{
this.sketchesServiceClient.onCurrentSketchDidChange((sketch)=>
this.maybeSetWidgetUncloseable(
sketch,
 ...Array.from(this.widgets.values())
)
);
}

overridegetOrCreateWidget<TextendsWidget>(
factoryId: string,
options?: unknown
): Promise<T>{
constunresolvedWidget=super.getOrCreateWidget<T>(factoryId,options);
unresolvedWidget.then(async(widget)=>{
constsketch=awaitthis.sketchesServiceClient.currentSketch();
this.maybeSetWidgetUncloseable(sketch,widget);
});
returnunresolvedWidget;
}

privatemaybeSetWidgetUncloseable(
sketch: CurrentSketch,
 ...widgets: Widget[]
): void{
constsketchFileUris=
CurrentSketch.isValid(sketch)&&
newSet([sketch.mainFileUri, ...sketch.rootFolderFileUris]);
for(constwidgetofwidgets){
if(widgetinstanceofOutputWidget){
this.setWidgetUncloseable(widget);// TODO: https://arduino.slack.com/archives/C01698YT7S4/p1598011990133700
}elseif(widgetinstanceofEditorWidget){
// Make the editor un-closeable asynchronously.
consturi=widget.editor.uri.toString();
if(!!sketchFileUris&&sketchFileUris.has(uri)){
this.setWidgetUncloseable(widget);
}
}
}
}

privatesetWidgetUncloseable(widget: Widget): void{
const{ title }=widget;
if(title.closable){
title.closable=false;
}
// Show the dirty indicator on uncloseable widgets when hovering over the title. Instead of showing the `X` for close.
constuncloseableClass='a-mod-uncloseable';
if(!title.className.includes(uncloseableClass)){
title.className+=title.className+` ${uncloseableClass}`;
}
}
}