-
Vincent Untz authored
With the move to GtkBuilder, we lost the names of the widgets, which broke theming. This will help with https://bugzilla.novell.com/show_bug.cgi?id=642956
745445fe
With the move to GtkBuilder, we lost the names of the widgets, which broke theming. This will help with https://bugzilla.novell.com/show_bug.cgi?id=642956