-
Jehan authored
Use GtkGrid instead of GtkBox (docs says GtkBox will eventually go away). Also remove this horrible frame in a frame (though GUI is still not perfect yet). Finally fix the "extension" object data.
f67ac0f0
Use GtkGrid instead of GtkBox (docs says GtkBox will eventually go away). Also remove this horrible frame in a frame (though GUI is still not perfect yet). Finally fix the "extension" object data.