milaurila
Results
1
issues of
milaurila
I am able to change the highlighting in the .agda file buffer of every group I've tried so far, except for `CornelisType`. Overriding the settings of this group only changes...