0004593: Updating a StringOption option (via set_value()) does NOT update the GUI widget
svn: r16954
This commit is contained in:
parent
92cf3a2901
commit
87fee3e5c1