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/Parchment v1.1 by Bob.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/Parchment v1.1 by Bob.qss')
0 files changed, 0 insertions, 0 deletions