message: make dev tools menu dynamic
diff: @@ -410,6 +410,7 @@ export class AppMenu {
  }, {
  label: i18n.t('Toggle Developer Tools')(),
  accelerator: isMac ? 'Alt+Command+I' : 'Ctrl+Shift+I',
  + visible: devToolsEnabled,
  click(_item, focusedWindow) {
  if (!focusedWindow || !windowExists(focusedWindow)) {
  return;
  