Searched refs:runmargin (Results 1 – 1 of 1) sorted by relevance
2137 int jumpgrace, runmargin; in load_state() local2139 if (!fread(&runmargin, sizeof(int), 1, file)) runmargin = 0; in load_state()2141 set_runmargin(runmargin); in load_state()2427 int jumpgrace = get_jumpgrace(), runmargin = get_runmargin(); in save_state() local2429 fwrite(&runmargin, sizeof(int), 1, file); in save_state()