Root/gui.h

Source at commit 8a1a3103964533b0d517a29312ddeabdab1d6271 created 4 years 7 months ago.
By Werner Almesberger, inst.c (find_point_vec): correct indentation
1/*
2 * gui.h - Editor GUI core
3 *
4 * Written 2009, 2010 by Werner Almesberger
5 * Copyright 2009, 2010 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_H
15#define GUI_H
16
17#include <gtk/gtk.h>
18
19
20extern GtkWidget *root;
21extern int show_all;
22extern int show_stuff;
23extern int show_meas;
24extern int show_bright;
25
26extern int no_save;
27
28
29/* update everything after a model change */
30void change_world(void);
31
32/* like change_world, but select the object again */
33void change_world_reselect(void);
34
35int gui_init(int *argc, char ***argv);
36int gui_main(void);
37
38#endif /* !GUI_H */
39

Archive Download this file

Branches:
master



interactive