diff options
| author | chtenb | 2023-11-25 13:27:31 +0000 |
|---|---|---|
| committer | GitHub | 2023-11-25 13:27:31 +0000 |
| commit | 8c68074fa6d2e3771bbc1a7f80bc9b422a787da4 (patch) | |
| tree | 4e21374d6f9b96827ecdae4599568b4701388ff2 /runtime/queries/ini | |
| parent | 8b0ae3d27912799d59e4948ff11d3a5428e32ce4 (diff) | |
Fix precedence of ui.virtual.whitespace (#8879)
* Revert "Revert "Fix precedence of ui.virtual.whitespace (#8750)""
This reverts commit 811d62d3b3699efb7b7ceb362f537979e5911871.
* Fix ui.text overwriting the syntax highlighting
Adjust ui.text description
Diffstat (limited to 'runtime/queries/ini')
0 files changed, 0 insertions, 0 deletions