Martin Aeschlimann de3dd1383c Active indent lines do not render in High Contrast theme. Fixes #111137

2020-12-04 12:03:43 +01:00

..

fileicons

…

themes

Active indent lines do not render in High Contrast theme. Fixes #111137

2020-12-04 12:03:43 +01:00

package.json

[themes] theme names are all not localized. Fixes #109840

2020-11-03 09:46:34 +01:00

package.nls.json

fix bad JSON

2020-11-03 11:06:53 +01:00