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

ATL-663: Indicate alpha status. Updated the About dialog.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-11-03 16:08:19 +01:00
committed by Akos Kitta
parent 7b364ebe60
commit 874c3efa2c
13 changed files with 114 additions and 49 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
arduino-ide-extension/src/browser/theia/workspace/workspace-service.ts
View File

@@ -7,6 +7,7 @@ import { ApplicationServer } from '@theia/core/lib/common/application-protocol';
import { FrontendApplication } from '@theia/core/lib/browser/frontend-application';
import { FocusTracker, Widget } from '@theia/core/lib/browser';
import { WorkspaceService as TheiaWorkspaceService } from '@theia/workspace/lib/browser/workspace-service';
import { FrontendApplicationConfigProvider } from '@theia/core/lib/browser/frontend-application-config-provider';
import { ConfigService } from '../../../common/protocol/config-service';
import { SketchesService } from '../../../common/protocol/sketches-service';
import { ArduinoWorkspaceRootResolver } from '../../arduino-workspace-resolver';
@@ -97,8 +98,9 @@ export class WorkspaceService extends TheiaWorkspaceService {
}
protected formatTitle(title?: string): string {
const status = FrontendApplicationConfigProvider.get()['status'];
const version = this.version ? ` ${this.version}` : '';
const name = `${this.applicationName} ${version}`;
const name = `${this.applicationName}${status ? ` – ${status}` : ''} ${version}`;
return title ? `${title} | ${name}` : name;
}