loading_done     2193 src/editor/edit.c     edit->loading_done = 1;
loading_done     2559 src/editor/edit.c     if (edit->loading_done != 0)
loading_done       99 src/editor/editwidget.h     unsigned int loading_done:1;        /* File has been loaded into the editor */