The question, basically, is why you're making use of getOptions. My understanding was that getOptions and setOptions (and some other things) were scheduled for removal because they're some kind of relic of an older way in which insets interacted with parameters. (There are other routines in the same box.)
The parameter communication between inset and GUI is done by ParamVector param_, and setOption is the only way to set it. I do not know why it needs to be removed, and what other route I can take. I quickly scanned other InsetCommand derived insets, and they do not seem to set param_ at all. Cheers, Bo
