index c4a95f01406e05ad3daebfe2841208d8498c2772..a7999267778f86b582cc76f2f95b22e24ff60e01 100644 (file)
_notebook.append_page(_page_font, _("Font"));
_notebook.append_page(_page_text, _("Text"));
+ set_resizable (true);
+ set_size_request(450, 300);
+
show_all_children();
}