better presisting of sizes, simplify layout, fix issues with status bar

This commit is contained in:
Johannes Rieken
2020-10-20 12:35:36 +02:00
parent 41ec71ac39
commit 9521e6b42a
4 changed files with 112 additions and 90 deletions

View File

@@ -508,6 +508,10 @@ export class Dimension implements IDimension {
}
}
static is(obj: unknown): obj is IDimension {
return typeof obj === 'object' && typeof (<IDimension>obj).height === 'number' && typeof (<IDimension>obj).width === 'number';
}
static lift(obj: IDimension): Dimension {
if (obj instanceof Dimension) {
return obj;