diff options
author | Gokul Soumya | 2022-07-26 03:04:23 +0000 |
---|---|---|
committer | GitHub | 2022-07-26 03:04:23 +0000 |
commit | de8ade896771875482fed0a4da6c9cc62410edf5 (patch) | |
tree | 16b1654475755e26a5179a3858f8d1c498c68a1c /book/theme/css/chrome.css | |
parent | 42115d02bc9236adf7d1aa81029ca6a12856a160 (diff) |
Shorten embedded command descriptions (#3070)
* Shorten embedded command descriptions
- Compact descriptions in command palette and infobox
* Shorten typed command descriptions
* Fix typo in decrement command description
Diffstat (limited to 'book/theme/css/chrome.css')
0 files changed, 0 insertions, 0 deletions