Searched refs:perma_marks (Results 1 – 2 of 2) sorted by relevance
19 extern int perma_marks;375 if (!perma_marks) in save_marks()
66 public int perma_marks; /* Save marks in history file */ variable559 BOOL, OPT_OFF, &perma_marks, NULL,