Closed dane-johnson closed 7 years ago
Ports the highlighting feature in from the UI. Closes #5. Based off #13 and #15 so merge them first.
Ports the highlighting feature in from the UI. Closes #5. Based off #13 and #15 so merge them first.