saved_other_dir   577 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   589 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   616 src/filemanager/filemanager.c             other_dir = saved_other_dir;  // from ini
saved_other_dir   309 src/main.c             g_free (saved_other_dir);
saved_other_dir   326 src/main.c                 saved_other_dir = buffer;
saved_other_dir   514 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;