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