Root/gui_frame.h

Source at commit 103933acf59927d84df7f99d9580dfc0f45059c2 created 2 years 10 months ago.
By Werner Almesberger, fix a few whitespace issues in previous commit
1/*
2 * gui_frame.h - GUI, frame window
3 *
4 * Written 2009, 2010, 2012, 2015 by Werner Almesberger
5 * Copyright 2009, 2010, 2012, 2015 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
22enum sidebar {
23    sidebar_var, /* show variables */
24    sidebar_code, /* show code */
25    sidebar_pkg, /* show packages */
26    sidebar_last = sidebar_pkg
27};
28
29
30extern enum sidebar sidebar;
31
32
33void reselect_var(struct var *var);
34
35void make_popups(void);
36
37void select_frame(struct frame *frame);
38
39void gui_frame_select_inst(struct inst *inst);
40void gui_frame_deselect_inst(struct inst *inst);
41
42void build_frames(GtkWidget *vbox, int warp_width);
43
44#endif /* !GUI_FRAME_H */
45

Archive Download this file

Branches:
master



interactive