jdorn/json-editor — pull request #176 by Reggino (2014-07-08 09:02:06+00:00)
Title: Checkbox version of boolean editor

(cherry picked from commit 9dcc907)