option_state_full_filename   92 src/editor/edit.c gboolean option_state_full_filename = FALSE;
option_state_full_filename   44 src/editor/edit.h extern gboolean option_state_full_filename;
option_state_full_filename  217 src/editor/editdraw.c         if (!option_state_full_filename)
option_state_full_filename  275 src/editor/editdraw.c             if (!option_state_full_filename)
option_state_full_filename  351 src/setup.c        { "editor_state_full_filename", &option_state_full_filename },