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