Closed Alaanor closed 5 years ago
Oh wow, nice, I actually had something like this in mind the entire time... Thanks, and yes changing the version is fine, you could even increment by minor version, as it is a new feature. The most important thing is just that it gets changed at all, so users get the update.
And here's a screencast to show its behavior quickly.
The default value should be set as true (for the checkbox) (See here and here)
By the way, I wasn't sure if it was my job to change the version number. Kinda my first PR, don't hesitate to tell me what to change/fix if needed.