state_full_filename   91 src/editor/edit.c     .state_full_filename = FALSE,
state_full_filename   47 src/editor/edit.h     gboolean state_full_filename;
state_full_filename  206 src/editor/editdraw.c         if (!edit_options.state_full_filename)
state_full_filename  264 src/editor/editdraw.c             if (!edit_options.state_full_filename)
state_full_filename  366 src/setup.c        { "editor_state_full_filename", &edit_options.state_full_filename },