<div dir="ltr"><div><br>Firstly, the spice_get_option_group is skipped when creating the Vala binding and I need it for inserting the spice-gtk help menu in gnome-boxes.<br></div><div><br>Secondly, the spice group options have a weird appearance on the standard terminal wifth width 80.<br>Because their entries are so long<a href="https://goo.gl/photos/NquKGdAy7nQbj7PY7" target="_blank">[1]</a>, all the descriptions are automatically put too much to the right<a href="https://goo.gl/photos/5P5s3AERdQfMSajB9" target="_blank">[2]</a>, instead of the normal, more pleasant look<a href="https://goo.gl/photos/cR9dxzuwB8FVdJ4M9" target="_blank">[3]</a><br><br></div>I am willing to fix it myself, if a bug will be opened.<br clear="all"><div><div><br>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr">Visarion-Mingopol Alexandru-Viorel<div><div>Telefon : 0729614060</div></div><div>Best Bucuresti</div></div></div></div></div>
</div></div></div>