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/Paper Light by 6788.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/Paper Light by 6788.qss')
0 files changed, 0 insertions, 0 deletions