Commit Graph

6 Commits

Author SHA1 Message Date
João Moreno
3b03189afa Restore extensions in core (#114921)
* bring back grammar extensions

* fix hygiene

* Revert "pull themes from the marketplace"

This reverts commit 0738f76dac.
2021-01-25 17:07:56 +01:00
João Moreno
0738f76dac pull themes from the marketplace 2021-01-12 20:46:44 +01:00
João Moreno
1703e7e71e fix bad JSON 2020-11-03 11:06:53 +01:00
Martin Aeschlimann
183b2a2892 [themes] theme names are all not localized. Fixes #109840 2020-11-03 09:46:34 +01:00
Martin Aeschlimann
0b3d76c1c8 Improve theme label for #50683 2018-06-06 17:11:00 +02:00
Sandeep Somavarapu
d321ced195 #43978 Use nls 2018-02-19 18:38:12 +01:00