diff options
| author | bob <bcz@cs.brown.edu> | 2019-04-18 13:51:25 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-04-18 13:51:25 -0400 |
| commit | 95dff75290edc9b13e9741eefe2bc5851a60dde6 (patch) | |
| tree | b5bcb511d2efc9e68b88348241148a163d693262 /src/client/views/globalCssVariables.scss.d.ts | |
| parent | 0bd545674070fe90836912c7171642cf09e82696 (diff) | |
fixed workspace switching exception. started to refresh minimize functionality.
Diffstat (limited to 'src/client/views/globalCssVariables.scss.d.ts')
| -rw-r--r-- | src/client/views/globalCssVariables.scss.d.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client/views/globalCssVariables.scss.d.ts b/src/client/views/globalCssVariables.scss.d.ts index ed8573f41..cc77d987a 100644 --- a/src/client/views/globalCssVariables.scss.d.ts +++ b/src/client/views/globalCssVariables.scss.d.ts @@ -2,6 +2,7 @@ interface IGlobalScss { contextMenuZindex: string; // context menu shows up over everything COLLECTION_BORDER_WIDTH: string; + MINIMIZED_ICON_SIZE: string; } declare const globalCssVariables: IGlobalScss; |