different_filename 1756 src/editor/editcmd.c     gboolean different_filename = FALSE;
different_filename 1782 src/editor/editcmd.c             different_filename = TRUE;
different_filename 1804 src/editor/editcmd.c         if (different_filename)
different_filename 1814 src/editor/editcmd.c             if (different_filename)
different_filename 1829 src/editor/editcmd.c             if (different_filename)