[00:47] Hello ! [00:47] May I ask a support question here about Firefox (on Ubuntu) ? [00:48] I want to write a website and I am a beginner in web-development. [00:48] I am searching for an editor for my .html files. Until now I have used Gedit. [00:49] But I am wondering: is it possible for me to use Firefox to edit my HTML files directly ? [00:50] 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] Thank you for your answers. :-) === MagnetFlower is now known as lem === lem is now known as Guest11328 === Guest11328 is now known as lime === lime is now known as LeonhardEuler === LeonhardEuler is now known as lemon === lemon is now known as LeonhardEuler