mirror of
https://github.com/extrawurst/gitui.git
synced 2024-11-23 20:52:54 +03:00
reduce slow git-calls further
This commit is contained in:
parent
5c771b0bbc
commit
3ce4a51b04
@ -37,7 +37,7 @@ gitui
|
|||||||
* [x] inspect diffs
|
* [x] inspect diffs
|
||||||
* [x] commit
|
* [x] commit
|
||||||
* [x] [input polling in thread](assets/perf_compare.jpg)
|
* [x] [input polling in thread](assets/perf_compare.jpg)
|
||||||
* [ ] only ask git when necessary. maybe in a worker thread?
|
* [x] only ask git when necessary. maybe in a worker thread?
|
||||||
* [ ] show content of new files
|
* [ ] show content of new files
|
||||||
* [ ] discard untracked files (remove)
|
* [ ] discard untracked files (remove)
|
||||||
* [ ] use [notify](https://crates.io/crates/notify) to watch git
|
* [ ] use [notify](https://crates.io/crates/notify) to watch git
|
||||||
|
@ -143,11 +143,11 @@ impl App {
|
|||||||
|
|
||||||
if !self.commit.is_visible() {
|
if !self.commit.is_visible() {
|
||||||
if self.index.event(ev) {
|
if self.index.event(ev) {
|
||||||
self.update();
|
self.update_diff();
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
if self.index_wd.event(ev) {
|
if self.index_wd.event(ev) {
|
||||||
self.update();
|
self.update_diff();
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
if self.diff.event(ev) {
|
if self.diff.event(ev) {
|
||||||
@ -318,7 +318,7 @@ impl App {
|
|||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
|
||||||
self.update();
|
self.update_diff();
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user