Preferences - Responsive Scope Changes#7936

Merged

vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom colin-grant-work:preferences/responsive-scope-change

Jun 23, 2020

+46-18

Commits on Jun 2, 2020

scroll protection
colin-grant-work
committed