different_filename 1683 src/editor/editcmd.c     int different_filename = 0;
different_filename 1712 src/editor/editcmd.c                 different_filename = 1;
different_filename 1738 src/editor/editcmd.c             if (different_filename)
different_filename 1752 src/editor/editcmd.c                 if (different_filename)
different_filename 1770 src/editor/editcmd.c                 if (different_filename)