diff options
author | Matouš Dzivjak | 2022-05-03 08:28:41 +0000 |
---|---|---|
committer | GitHub | 2022-05-03 08:28:41 +0000 |
commit | d2b1add1f41c9d9a655a4637e3e276eb92e8eefb (patch) | |
tree | 8e86ae80d1a268ab89df1fa6e29a5f32257a67ef /book | |
parent | 042463a4d1c6eab144b89f775d79759bd6c3df0a (diff) |
feat(term): wrap command palette in overlay (#2378)
Looks better and is consistent with the rest, nothing else.
Diffstat (limited to 'book')
0 files changed, 0 insertions, 0 deletions