@vishaakm/disablerThis Extension disables the download option from the theia_idetheia-extensiondisabledownload disabler1.0.0 • Published 4 years ago