-
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>
11ed6456
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>