v->refresh.nodesize = 1;
if (strcasecmp(name, "selected") == 0)
v->refresh.selection = 1;
- if (strcasecmp(name, "visible") == 0)
- v->refresh.visibility = 1;
-
}
static void doApply (GtkWidget * widget, int doAll)
view->refresh.color=1;
view->refresh.pos=1;
view->refresh.selection=1;
- view->refresh.visibility=1;
view->refresh.nodesize=1;
view->edgerendertype=0;
if(view->guiMode!=GUI_FULLSCREEN)
view->refresh.nodesize=1;
view->refresh.pos=1;
view->refresh.selection=1;
- view->refresh.visibility=1;
load_settings_from_graph(graph);
if(view->guiMode!=GUI_FULLSCREEN)