preferences-group: Remove an unnecessary cast
box is already a GtkWidget *
, so the cast suggests that there is an
aliasing violation happening here.
box is already a GtkWidget *
, so the cast suggests that there is an
aliasing violation happening here.