#include <stdio.h>
#include <gtk-4.0/gtk/gtk.h>

#include "callback.h"
#include "in_depth.h"
#include "display.h"
#include "tree.h"
#include "texts.h"

// https://docs.gtk.org/gtk4/visual_index.html  <  widgets gallery


void dialog_window_child (GtkWindow *dialog_window, int selected_page){}

void dialog_window_header_bar (GtkWindow *dialog_window, char *title){
  GtkWidget *header_bar = GTK_WIDGET (gtk_header_bar_new ());
  gtk_header_bar_set_title_widget (GTK_HEADER_BAR (header_bar), gtk_label_new (title));
  gtk_window_set_titlebar (dialog_window, header_bar);
}