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