Closed ezraberch closed 1 year ago
This is a companion PR to https://github.com/CodeEditApp/CodeEdit/pull/840, adding the necessary functionality to implement https://github.com/CodeEditApp/CodeEdit/issues/788.
This is a companion PR to https://github.com/CodeEditApp/CodeEdit/pull/840, adding the necessary functionality to implement https://github.com/CodeEditApp/CodeEdit/issues/788.