diff options
| author | AL <26797547+Al12rs@users.noreply.github.com> | 2020-06-06 18:08:30 +0200 |
|---|---|---|
| committer | AL <26797547+Al12rs@users.noreply.github.com> | 2020-06-06 18:08:30 +0200 |
| commit | 1497685ea5d7059b34bfb65643388a4f4edf4d49 (patch) | |
| tree | 78c13bae0f6d0335c51848748f2dcaec0682d5c6 /src/shared/error_report.cpp | |
| parent | 226b2b1843bbf41581757f44f8a2f4728f0a4b19 (diff) | |
Make checkForProblems update local variable with the problem count,
Make updateProblemsButton just update the ui using that variable (no heavy operation)
Add checkForProblemsAsync to perform the heavy checks in another thread.
Diffstat (limited to 'src/shared/error_report.cpp')
0 files changed, 0 insertions, 0 deletions