Lock file when editing

Hello,

is it possible to lock the file when someone is editing, in order to not be overwritten by another user who wants some other changes?

https://wordpress.org/plugins/wpide/