0004593: Updating a StringOption option (via set_value()) does NOT update the GUI widget
svn: r16953
This commit is contained in:
parent
d1a8593f7f
commit
655c73073b