simrat39 40b7d5cbaa fix: ui: Follow links while setting up SymbolsOutlineConnector ...

we link to comment but dont follow links which makes it wonky with
themes. Also make the highlight customizable.

2021-08-20 19:34:01 -07:00

..

symbols-outline.txt

fix: ui: Follow links while setting up SymbolsOutlineConnector

2021-08-20 19:34:01 -07:00

tags

docs: Add highlights

2021-08-20 19:04:57 -07:00