Closed jasedit closed 3 years ago
This implements the very basic functionality for removing highlights and groups.
This implements the very basic functionality for removing highlights and groups.