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)
commit5fa5b0d86c948c52e4a938b84ab55ed65613cd3f
treee0ee1676423a559d6eceed256278cf0730fedca0
parent30255c1dae78d136a950e648f6cd046236c80710
parent4b4ac7bddaeaa50b063cd31ceac620a0020afa3a
Merge pull request #703 from Gravatronics/bug/userOptionEditorDefaultValue

Fixes setting default value in UserOptionEditor::create()