A nice feature that we recently added to version 2.12.6 of the VS Code ObjectScript extension is controlled by this new setting:
objectscript.serverSourceControl.respectEditableStatus
When set true in JSON, or checked in the Settings Editor, a server-side file will be read-only if the source control class for the namespace reports that it is not editable.