jdorn/json-editor — pull request #289 by pevar (2014-11-17 10:05:06+00:00)
Title: Update theme.js giving Button a default

'button' as theme-button default type