]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67c76c3) | patch
Better progress API
authorAleksey Kladov <aleksey.kladov@gmail.com>
Wed, 7 Oct 2020 10:15:37 +0000 (12:15 +0200)
committerAleksey Kladov <aleksey.kladov@gmail.com>
Wed, 7 Oct 2020 10:15:37 +0000 (12:15 +0200)
commit6219142c96708d8068bcf9eb2a6424882d74094c
tree702b1a779d511b9e353b2f8923d5f016f9465c48tree | snapshot
parent67c76c35a3d047bc5eb21b2d1d77dd3ab0e4bd85commit | 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!
crates/rust-analyzer/src/lsp_utils.rs diff | blob | history
crates/rust-analyzer/src/main_loop.rs diff | blob | history
Empowering everyone to build reliable and efficient software.