state_full_filename   88 src/editor/edit.c     .state_full_filename = FALSE,
state_full_filename   47 src/editor/edit.h     gboolean state_full_filename;
state_full_filename  198 src/editor/editdraw.c         if (!edit_options.state_full_filename)
state_full_filename  256 src/editor/editdraw.c             if (!edit_options.state_full_filename)
state_full_filename  355 src/setup.c        { "editor_state_full_filename", &edit_options.state_full_filename },