Revision f7dbbb7f7edd765a60ee6940a33b23b38ddce91a

Committed on 05/12/2018 5:49 pm by Maxim Strukov <mxmstrv@gmail.com> [GitHub Diff]

changed the checkbox behavior