Re: RM4069 - Append the file suffix to filenames when needed in the File Create dialogue.

Hi On Thu, Mar 14, 2019 at 1:00 PM Khushboo Vashi < khushboo.va...@enterprisedb.com> wrote: > Hi Dave, > > On Thu, Mar 14, 2019 at 5:01 PM Dave Page wrote: > >> Here's a small patch for $SUBJECT. >> >> I'd normally commit something like this directly but wanted some thoughts >> on the fact that

Re: RM4069 - Append the file suffix to filenames when needed in the File Create dialogue.

Hi Dave, On Thu, Mar 14, 2019 at 5:01 PM Dave Page wrote: > Here's a small patch for $SUBJECT. > > I'd normally commit something like this directly but wanted some thoughts > on the fact that it introduces a third method for figuring out what path > separator to use to the file manager code: > >

RM4069 - Append the file suffix to filenames when needed in the File Create dialogue.

Here's a small patch for $SUBJECT. I'd normally commit something like this directly but wanted some thoughts on the fact that it introduces a third method for figuring out what path separator to use to the file manager code: 1) We get it from the config file (which is actually a template) 2) We l