diff options
author | Gokul Soumya | 2022-07-02 11:21:27 +0000 |
---|---|---|
committer | GitHub | 2022-07-02 11:21:27 +0000 |
commit | 6e2aaed5c2cbcedc9ee4e225510cae4f357888aa (patch) | |
tree | bddbecd95c9b3df5cb207736f1d0cbdeb56c1c3c /runtime/queries | |
parent | 290b3ebbbe0c365eee436b9de9d6d6fc2b4339e9 (diff) |
Reuse menu::Item trait in picker (#2814)
* Refactor menu::Item to accomodate external state
Will be useful for storing editor state when reused by pickers.
* Add some type aliases for readability
* Reuse menu::Item trait in picker
This opens the way for merging the menu and picker code in the
future, since a picker is essentially a menu + prompt. More
excitingly, this change will also allow aligning items in the
picker, which would be useful (for example) in the command palette
for aligning the descriptions to the left and the keybinds to
the right in two separate columns.
The item formatting of each picker has been kept as is, even though
there is room for improvement now that we can format the data into
columns, since that is better tackled in a separate PR.
* Rename menu::Item::EditorData to Data
* Call and inline filter_text() in sort_text() completion
* Rename diagnostic picker's Item::Data
Diffstat (limited to 'runtime/queries')
0 files changed, 0 insertions, 0 deletions