saved_other_dir   559 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   571 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   586 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   598 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   311 src/main.c             g_free (saved_other_dir);
saved_other_dir   328 src/main.c                 saved_other_dir = buffer;
saved_other_dir   516 src/main.c         g_free (saved_other_dir);
saved_other_dir   193 src/setup.c    char *saved_other_dir = NULL;
saved_other_dir   123 src/setup.h    extern char *saved_other_dir;