message: Fix a small crash related to the dev menu state during start up
diff: @@ -519,8 +519,10 @@ function handleThemeContentsMessage(msg: Messages.Message): void {
  function handleDevToolsStatus(msg: Messages.Message): void {
  const devToolsStatusMessage = <Messages.DevToolsStatusMessage> msg;
  developerToolMenuChecked = devToolsStatusMessage.open;
  + if (applicationContextMenu != null) {
  applicationContextMenu.render();
  }
  +}
  function handleClipboardRead(msg: Messages.Message): void {
  const clipboardReadMessage = <Messages.ClipboardReadMessage> msg;
  