option_state_full_filename   96 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  211 src/editor/editdraw.c         if (!option_state_full_filename)
option_state_full_filename  269 src/editor/editdraw.c             if (!option_state_full_filename)
option_state_full_filename  359 src/setup.c        { "editor_state_full_filename", &option_state_full_filename },