<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Apr 2, 2014 at 6:57 PM, Jonathon Jongsma <span dir="ltr"><<a href="mailto:jjongsma@redhat.com" target="_blank">jjongsma@redhat.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":6j7" class="a3s" style="overflow:hidden">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.<div class="yj6qo ajU">
<div id=":6pg" class="ajR" tabindex="0"></div></div></div></blockquote></div><br></div><div class="gmail_extra">I think you solved a bug, so I am not sure it needs to be configurable :)<br></div><div class="gmail_extra"><br clear="all">
<br>-- <br>Marc-André Lureau
</div></div>