I find there're few features missing in the current file editor:
- auto-switching editor mode according to file extension
If I'm going to open a .PHP file, I would expect the editor to switch to PHP editor mode automatically... and so for .HTML, .js etc.
- Theme selection
Every time I open a file, I need to select the preferred theme... any way to make this choice persistent, keeping always the last theme I set until I change it again?
- Search and replace
"search" may be done using the browser function tool, but a simple "replace" right now it's impossible
