id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
1112,"Remember manually selected mime-type - ""View Document As""",szabgab,,"There are cases when the user wants to View a file as some other type of file and not as Padre recognized it. That's what the ""View/View Document As"" menu option allows to do.

It changes the effective mime-type of the file.

Unfortunately this information is not persistent between reloads of a file and the user cannot reset it either.

I'd like to have a menu option ""reset document type to default XYZ""
where XYZ will be the one Padre guessed originally.

I'd like to make sure the manually selected document type is saved and used when the same file opened again in Padre.

",enhancement,new,major,,Basic Editor Features,0.80,,,
