3 ms·
[can't edit the comment anymore and this merits a correction] It turns out that it was a bug and checkboxes were rendered on my screen in a way that was not in
by jwr 12y ago
[can't edit the comment anymore and this merits a correction]
It turns out that it was a bug and checkboxes were rendered on my screen in a way that was not intended by designers. So the comment above is invalid.