This repository has been archived by the owner on Oct 22, 2021. It is now read-only.

Disable ctrl/cmd + R for reloading the app #187

Closed

spoenemann opened this issue Jan 24, 2020 · 1 comment

Assignees

Milestone

spoenemann commented Jan 24, 2020

If the app needs reloading, we can do so programmatically. There's no need for the user to trigger a reload.

spoenemann added this to the v0.0.5 milestone

kittaakos self-assigned this

Contributor

kittaakos commented Jan 28, 2020

Upstream PR: eclipse-theia/theia#6981

kittaakos closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.