On Wed, Apr 2, 2014 at 6:57 PM, Jonathon Jongsma <jjongsma@xxxxxxxxxx> wrote:
Indeed, it's a bit pointless at the moment. Part of the reason I made it a property was because I was thinking that it might not be desirable behavior in all situations, and we could add a commandline switch (to spice_get_option_group()) to enable/disable that behavior. But maybe that's not useful. I can hard-code it if you prefer.
I think you solved a bug, so I am not sure it needs to be configurable :)
--
Marc-André Lureau
_______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx http://lists.freedesktop.org/mailman/listinfo/spice-devel