"Relative widgets" (whose values are relative to the output resolution) are stored internally as floats, and the strange code I wrote in 2017 does division and multiplication on every relative widget for every update done by the user, so it can store these for the undo system. This causes an issue where some numbers have rounding errors (e.g., 57, 123) so the undo system thinks they are the same as another number, causing unexpected behaviour (a spinbox will get stuck on these numbers when scrolling through numbers one-by-one, most noticeably).
To-Do List
"Relative widgets" (whose values are relative to the output resolution) are stored internally as floats, and the strange code I wrote in 2017 does division and multiplication on every relative widget for every update done by the user, so it can store these for the undo system. This causes an issue where some numbers have rounding errors (e.g., 57, 123) so the undo system thinks they are the same as another number, causing unexpected behaviour (a spinbox will get stuck on these numbers when scrolling through numbers one-by-one, most noticeably).
To-Do List