From e8b0d04f983be5b993de8968b75e5aa11dd90878 Mon Sep 17 00:00:00 2001
From: Lutz Roeder <lutzroeder@users.noreply.github.com>
Date: Wed, 12 Apr 2023 10:21:24 -0400
Subject: [PATCH] Update view.js

---
 source/view.js | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/source/view.js b/source/view.js
index 540781c142..ca44ac37c4 100644
--- a/source/view.js
+++ b/source/view.js
@@ -164,20 +164,20 @@ view.View = class {
                     enabled: () => this.activeGraph
                 });
                 view.add({});
+                view.add({
+                    label: '&Properties...',
+                    accelerator: 'CmdOrCtrl+Enter',
+                    execute: () => this.showModelProperties(),
+                    enabled: () => this.activeGraph
+                });
                 if (!this._host.environment('packages')) {
+                    view.add({});
                     view.add({
                         label: '&Developer Tools...',
                         accelerator: 'CmdOrCtrl+Alt+I',
                         execute: () => this._host.execute('toggle-developer-tools')
                     });
-                    view.add({});
                 }
-                view.add({
-                    label: '&Properties...',
-                    accelerator: 'CmdOrCtrl+Enter',
-                    execute: () => this.showModelProperties(),
-                    enabled: () => this.activeGraph
-                });
                 const help = this._menu.group('&Help');
                 help.add({
                     label: 'Report &Issue',