Total noob here. I wanted to change the file type of a document I have and clicked on “save as”. When the save window appeared, i didn’t see a drop down menu for selecting the new file type nor did i see anything on the window that would allow for such a change. I am using Ubuntu 20.04. Any help would be appreciated
This is done on purpose as the list of possible extensions is too long for a proper user experience. Instead you’ll need to manually type the file extension.
You might want to try out this plugin. The alternative would be to set syntax manually before saving the file.