| commit | e06b7f8f4d961c165d2eefe650708dfdd36ca357 | |
| author | Burnerelu <paulmihaita.dumitriu@gmail.com> | |
| Mon, 16 Sep 2024 09:16:59 +0000 (16 12:16 +0300) | ||
| committer | GitHub <noreply@github.com> | |
| Mon, 16 Sep 2024 09:16:59 +0000 (16 17:16 +0800) | ||
| tree | 8b0e05bc0942f428c2ba698d653da0bb0eedd265 | treesnapshot (tar.gz zip) |
| parent | 0ea35c54a347bbfddf97f0b61982416f27ee52b4 | commitdiff |
Enable customizing the save statistics time interval
This change extends the Advanced section of the Preferences menu with a new field, allowing changing the time statistics save interval. A zero value will prevent recurrent saving.
This aims to provide the feature requested in issue #21285.
PR #21291.
This change extends the Advanced section of the Preferences menu with a new field, allowing changing the time statistics save interval. A zero value will prevent recurrent saving.
This aims to provide the feature requested in issue #21285.
PR #21291.