Merge pull request #703 from Gravatronics/bug/userOptionEditorDefaultValue
authorTim Düsterhus <timwolla@googlemail.com>
Mon, 16 Jul 2012 16:15:26 +0000 (09:15 -0700)
committerTim Düsterhus <timwolla@googlemail.com>
Mon, 16 Jul 2012 16:15:26 +0000 (09:15 -0700)
Fixes setting default value in UserOptionEditor::create()


Trivial merge