From 0718da1ea8754d760a90fa17d40dabf908f8ce96 Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Mon, 24 Apr 2023 09:11:33 +0200
Subject: [PATCH] Fix ESLint error

---
 packages/application/src/shell.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/application/src/shell.ts b/packages/application/src/shell.ts
index f4d06aaf28..405ca1e1d8 100644
--- a/packages/application/src/shell.ts
+++ b/packages/application/src/shell.ts
@@ -448,6 +448,6 @@ export namespace Private {
     }
 
     private _skipLinkWidget: Widget;
-    private _isDisposed: boolean = false;
+    private _isDisposed = false;
   }
 }