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  204 src/editor/editdraw.c         if (!edit_options.state_full_filename)
state_full_filename  262 src/editor/editdraw.c             if (!edit_options.state_full_filename)
state_full_filename  361 src/setup.c        { "editor_state_full_filename", &edit_options.state_full_filename },