diff options
Diffstat (limited to 'client/src/app/core')
| -rw-r--r-- | client/src/app/core/menu/menu.service.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/client/src/app/core/menu/menu.service.ts b/client/src/app/core/menu/menu.service.ts index ecb2bceb7..81093c666 100644 --- a/client/src/app/core/menu/menu.service.ts +++ b/client/src/app/core/menu/menu.service.ts | |||
| @@ -7,6 +7,7 @@ import { debounceTime } from 'rxjs/operators' | |||
| 7 | export class MenuService { | 7 | export class MenuService { |
| 8 | isMenuDisplayed = true | 8 | isMenuDisplayed = true |
| 9 | isMenuChangedByUser = false | 9 | isMenuChangedByUser = false |
| 10 | menuWidth = 240 // should be kept equal to $menu-width | ||
| 10 | 11 | ||
| 11 | constructor ( | 12 | constructor ( |
| 12 | private screenService: ScreenService | 13 | private screenService: ScreenService |