Ticket #1112 (new enhancement)
Remember manually selected mime-type - "View Document As"
|Reported by:||szabgab||Owned by:|
|Component:||Basic Editor Features||Version:||0.80|
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.