Revision 1065
Fixed race condition in GUI, hopefully.
gtk_gui.c | ||
---|---|---|
6 | 6 |
#include "gtk_environment_view.h" |
7 | 7 |
|
8 | 8 |
GtkWidget* window; |
9 |
GtkWidget* view; |
|
9 |
GtkWidget* view = NULL;
|
|
10 | 10 |
|
11 | 11 |
void destroy_callback(int arg) |
12 | 12 |
{ |
... | ... | |
45 | 45 |
|
46 | 46 |
void gui_refresh() |
47 | 47 |
{ |
48 |
if (view == NULL) |
|
49 |
return; |
|
48 | 50 |
gtk_environment_view_refresh(view); |
49 | 51 |
} |
50 | 52 |
|
Also available in: Unified diff