#ifndef UI_MENU_H
#define UI_MENU_H

#include "core/profile.h"
#include <gtk/gtk.h>
#include <webkit2/webkit2.h>

typedef struct _TabManager TabManager;

// Attaches the hamburger menu to the given button
void menu_attach(GtkWidget *button, TabManager *tab_manager, GtkWindow *window,
                 Profile *profile);

#endif
