add restore default values button for ports and container settings (#4195)

* add restore default values button for ports and container settings

* change some resource strings
This commit is contained in:
Alan Ren
2019-02-26 12:48:35 -08:00
committed by GitHub
parent 109aafcbc0
commit 8bfb1a9d39
5 changed files with 82 additions and 39 deletions

View File

@@ -16,23 +16,23 @@ export enum TargetClusterType {
}
export interface Succeeded<T> {
readonly succeeded: true;
readonly result: T;
readonly succeeded: true;
readonly result: T;
}
export interface Failed {
readonly succeeded: false;
readonly error: string[];
readonly succeeded: false;
readonly error: string[];
}
export type Errorable<T> = Succeeded<T> | Failed;
export function succeeded<T>(e: Errorable<T>): e is Succeeded<T> {
return e.succeeded;
return e.succeeded;
}
export function failed<T>(e: Errorable<T>): e is Failed {
return !e.succeeded;
return !e.succeeded;
}
export interface ClusterPorts {
sql: string;
@@ -59,7 +59,13 @@ export interface TargetClusterTypeInfo {
}
export interface ToolInfo {
name: string,
description: string,
isInstalled: boolean
name: string;
description: string;
status: ToolInstallationStatus;
}
export enum ToolInstallationStatus {
Installed,
NotInstalled,
Installing
}