Edit clock tool to allow time and increment change to one player while paused - #3460
Edit clock tool to allow time and increment change to one player while paused#3460Giuseppe499 wants to merge 3 commits into
Conversation
|
Thanks for this @Giuseppe499 My feedback based on your screen recording: I would only allow the per clock time change when a game is started. So the global cog should stay disabled, but the per clock tune icons would appear when the clock is paused mid-game. Important note: when time is added using that per-clock button, it should not modify the saved settings of the clock, just add time to the current game. |
|
Hi @veloce. Thanks for the feedback! I need some clarifications:
Do you mean that the per-clock tune icons shouldn't be visible before the clock is started, or just that the global cog should be disabled when the clock is paused after it is started?
The current code should already do this. Per-clock preferences are stored only if the clock is not started yet. |
No, the existing behaviour (before your PR) should remain unchanged. What I meant is that the global cog should be disabled when playing (the actual behaviour too), but the per-clock tune (which are currently not shown when pausing the clock) now are show when pausing the clock (during game), to allow changing time in-game. Hope it is more clear now :) |
As you can see from the changed files, this PR does not change the global cog behaviour. |
I could be wrong but I think what Veloce is suggesting is to actually grey out the button so that it can't be actioned in this scenario |
I thought that too, but he said that the existing behaviour (before my PR) should remain unchanged. |
|
My bad: indeed the cog is available when the clock is paused, and changing the setting just restart the clock. Let's keep that behaviour indeed @Giuseppe499 |
Allow users to modify the time and increment settings while the clock is paused.
Previously, the per-player settings UI became unavailable when the clock started.
New behaviour:

Old behaviour:

Solves issue #1788 as time can now be edited during a game