MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
251
openide/platform/platform-impl/resources/settings
T
History
Florian Schaefer 72649ee111 WI-80385: Make blade template highlighting configurable, disable by default 
(cherry picked from commit e9cd21fb327b5d51da657391e8d46521ae7547ca)

IJ-MR-157416


(cherry picked from commit b86bc946ca2745f9791d59a781ec58d721d468af)

IJ-CR-158609

GitOrigin-RevId: 15553dea8d51c2faba0aaeddad31645883c4d574
2025-03-31 10:21:58 +00:00
..
ide-settings-model.json
…
ide-settings-whitelist.json
…