loading_done     2211 src/editor/edit.c     edit->loading_done = 1;
loading_done     2577 src/editor/edit.c     if (edit->loading_done)
loading_done      100 src/editor/editwidget.h     unsigned int loading_done:1;        /* File has been loaded into the editor */