diff options
author | Aleksey Kladov <[email protected]> | 2020-10-07 11:15:37 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2020-10-07 11:15:37 +0100 |
commit | 6219142c96708d8068bcf9eb2a6424882d74094c (patch) | |
tree | 702b1a779d511b9e353b2f8923d5f016f9465c48 /crates/ide/src/display | |
parent | 67c76c35a3d047bc5eb21b2d1d77dd3ab0e4bd85 (diff) |
Better progress API
Percentage is a UI concern, the physical fact here is fraction. It's
sad that percentage bleeds into the protocol level, we even duplicated
this bad API ourselves!
Diffstat (limited to 'crates/ide/src/display')
0 files changed, 0 insertions, 0 deletions