ntrel commented on this pull request.
void notebook_init(void)
{ + GtkWidget *btn = gtk_button_new_with_label("☰");
BTW haven't tried it, but Gtk 3 has a menu button widget that defaults to a down arrow: https://developer.gnome.org/gtk3/stable/GtkMenuButton.html