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/stylesheets/vs15 Dark.qss | |
| 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/stylesheets/vs15 Dark.qss')
0 files changed, 0 insertions, 0 deletions