Revision 1065
Fixed race condition in GUI, hopefully.
| branches/simulator/projects/simulator/simulator/gui/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