loading_done     2181 src/editor/edit.c     edit->loading_done = 1;
loading_done     2545 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