| Author | SHA1 Message | Date |
|---|---|---|
|
|
d641bb5826 Revert "Merge pull request #4312 from weseek/fix/7430-7431-fix-keyword-highlightning-problem" | 4 years ago |
|
|
c94e3d7a06 apply marker color to $bgcolor-highlighted | 4 years ago |
|
|
2dc9def7c2 mv styles | 4 years ago |