Root/gui_frame.h

Source at commit 1d7eccb06b61f239b9671617488f33910286f0f1 created 5 years 7 months ago.
By Werner Almesberger, dump.c: add dumping of %iprint
1/*
2 * gui_frame.h - GUI, frame window
3 *
4 * Written 2009, 2010, 2012 by Werner Almesberger
5 * Copyright 2009, 2010, 2012 by Werner Almesberger
6 *
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation; either version 2 of the License, or
10 * (at your option) any later version.
11 */
12
13
14#ifndef GUI_FRAME_H
15#define GUI_FRAME_H
16
17#include <gtk/gtk.h>
18
19#include "obj.h"
20
21
22extern int show_vars;
23
24
25void reselect_var(struct var *var);
26
27void make_popups(void);
28
29void select_frame(struct frame *frame);
30
31void gui_frame_select_inst(struct inst *inst);
32void gui_frame_deselect_inst(struct inst *inst);
33
34void build_frames(GtkWidget *vbox, int warp_width);
35
36#endif /* !GUI_FRAME_H */
37

Archive Download this file

Branches:
master



interactive