Fix checkboxes by using deterministic widget IDs instead of random ones to make the diffing easier - #3457

Fix checkboxes by using deterministic widget IDs instead of random ones to make the diffing easier#3457

Keavon merged 3 commits into

masterGraphiteEditor/Graphite:masterfrom

fix-checkboxesGraphiteEditor/Graphite:fix-checkboxesCopy head branch name to clipboard