saved_other_dir   592 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   604 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   619 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   631 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   344 src/main.c             g_free (saved_other_dir);
saved_other_dir   361 src/main.c                 saved_other_dir = buffer;
saved_other_dir   556 src/main.c         g_free (saved_other_dir);
saved_other_dir   196 src/setup.c    char *saved_other_dir = NULL;
saved_other_dir   125 src/setup.h    extern char *saved_other_dir;