[00:47] <agmenor> Hello !
[00:47] <agmenor> May I ask a support question here about Firefox (on Ubuntu) ?
[00:48] <agmenor> I want to write a website and I am a beginner in web-development.
[00:48] <agmenor> I am searching for an editor for my .html files. Until now I have used Gedit.
[00:49] <agmenor> But I am wondering: is it possible for me to use Firefox to edit my HTML files directly ?
[00:50] <agmenor> The answer is probably yes, but I cannot find which Web Developer Tool it is, or whether I should install a dedicated add-on.
[00:51] <agmenor> Thank you for your answers. :-)