Added ability to change windowOptions & it's defaults. Moved disallowReloadKeybinding inside electron subsection#7803

Merged

vince-fugnitto merged 2 commits intoeclipse-theia:masterfrom owlJaeger:newPR

May 22, 2020

+40-19

Commits on May 20, 2020

Revert "Enable clients to persistently change the electron windowOptions"
owlJaeger
committed
Enable clients to change electron windowOptions either by using the "set-window-options" IPC-Event or by specifying the windowOptions inside package.json under theia/frontend/config/electron/window…
owlJaeger
committed