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.
Secondly, the spice group options have a weird appearance on the standard terminal wifth width 80. Because their entries are so long[1] <https://goo.gl/photos/NquKGdAy7nQbj7PY7>, all the descriptions are automatically put too much to the right[2] <https://goo.gl/photos/5P5s3AERdQfMSajB9>, instead of the normal, more pleasant look[3] <https://goo.gl/photos/cR9dxzuwB8FVdJ4M9> I am willing to fix it myself, if a bug will be opened. -- Visarion-Mingopol Alexandru-Viorel Telefon : 0729614060 Best Bucuresti
_______________________________________________ Spice-devel mailing list Spice-devel@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/spice-devel