VS Code ObjectScript extension 2.12.6 and later can optionally display server documents read-only if source control class reports them as such

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.

This option may be of particular interest to users of our Deltanji source control product, particularly when used in combination with the Deltanji extension for VS Code. Once set, managed documents have to be explicitly checked out via the context menu option Deltanji adds, instead of the checkout being triggered implicitly by the first edit. Operating this way combines well with Deltanji's concept of a "favorite" change request, which streamlines the checkout procedure but until now tended to lead to accidental checkouts that the user would then need to cancel.