-
Waqar Ahmed authored
For highlight color, editor color is used now. This fixes the look with light color scheme and dark editor theme. Signed-off-by: Waqar Ahmed <waqar.17a@gmail.com> (cherry picked from commit 11ed6456)
ea54c1c7
For highlight color, editor color is used now. This fixes the look with light color scheme and dark editor theme. Signed-off-by: Waqar Ahmed <waqar.17a@gmail.com> (cherry picked from commit 11ed6456)