diff options
| author | Tefatika <692720+Tefatika@users.noreply.github.com> | 2023-04-28 02:03:35 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-05-12 12:07:00 +0200 |
| commit | e58001bd0d2eee1b174a0d8bd21ea18f97f25778 (patch) | |
| tree | b47dbce2018f7781592aa9f28f3b0af975fba7dd /modules/websocket/config.py | |
| parent | 9d257f10c0b6d180c88dc43aa76db2fe83e2ca29 (diff) | |
Command Palette search now also uses original English command names
Both localized and non localized names will be used while filtering
The highest score between the two will be picked when determining
the entries order
(cherry picked from commit 09460cfaaf6524143b482c3082566f05ef227389)
Diffstat (limited to 'modules/websocket/config.py')
0 files changed, 0 insertions, 0 deletions