Marc Haemmerle wrote:
> Whenever a user wants to save a document, he can choose the file type.
> 
> The selected file type should determine the file extension.
> 
> This works very well as long as the file name contains no dots.
> 
>  
> 
> We use a lot of file names with dots and and our users expect the file
> extension to be added also to this file names.
> 
> An example:
> 
> File name: product.create
> 
> File type: TASK-File
> 
> Should be saved as “product.create.task”, but we get the file
> “product.create”.
> 
>  
> 
> How can we achieve that the extension is added to filenames with dots?
> 

I'm sorry but I lack some context in order to understand where is the
problem.

I mean, if I create a new DITA task using "File|New" and then save it to
disk using "File|Save As", I have *no* *problem* specifying a filename
such as "foo.bar.task" for the save file.

Are you talking about the file extension automatically added when the
user does not specify one by hand? That is, option "Ensure that a save
filename has an extension". See
http://www.xmlmind.com/xmleditor/_distrib/doc/help/com.xmlmind.guiutil.PreferencesEditorDialog.html#saveOptions

 
--
XMLmind XML Editor Support List
[email protected]
http://www.xmlmind.com/mailman/listinfo/xmleditor-support

Reply via email to