aboutsummaryrefslogtreecommitdiff
path: root/crates/ide/src/display
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2020-10-07 11:15:37 +0100
committerAleksey Kladov <[email protected]>2020-10-07 11:15:37 +0100
commit6219142c96708d8068bcf9eb2a6424882d74094c (patch)
tree702b1a779d511b9e353b2f8923d5f016f9465c48 /crates/ide/src/display
parent67c76c35a3d047bc5eb21b2d1d77dd3ab0e4bd85 (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