Document Type dialog refresh?
The Document Type dialog could be better. Some of the issues with the status quo include:
- The currently selected option is not visible when you open it
- There are lots of options and it's an alphabetic list, making it hard to find the few formats I use all the time
- The list rows are a bit tall for a single label, making it harder to navigate
- It's not resizable
A few ideas for improving it:
- A separate list with e.g. the 10 most popular / recently used options at the top. By default we'd populate this with common formats like .md, .py, .html, and so on.
- Less padding inside the list rows
- Resizable window