Hi, On Tue, 2016-05-03 at 01:05 +0300, Visarion-Mingopol Alexandru-Viorel wrote: > > 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], all the descriptions are automatically > put too much to the right[2], instead of the normal, more pleasant look[3] > > I am willing to fix it myself, if a bug will be opened. > If you feel there is a bug, please open it. Please send patches to this mailing list - we are not using bugzilla for review. Thanks, Pavel http://www.spice-space.org/developers.html > _______________________________________________ > Spice-devel mailing list > Spice-devel@xxxxxxxxxxxxxxxxxxxxx > https://lists.freedesktop.org/mailman/listinfo/spice-devel _______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel