diff --git a/live/live-root/root/.mozilla/firefox/profile/user.js.template b/live/live-root/root/.mozilla/firefox/profile/user.js.template index a3e8c05cd7..7dad31db23 100644 --- a/live/live-root/root/.mozilla/firefox/profile/user.js.template +++ b/live/live-root/root/.mozilla/firefox/profile/user.js.template @@ -20,6 +20,14 @@ user_pref("browser.startup.homepage_override.mstone", "ignore"); // TODO: make the XDG portal working again, it has more features (mounting USB flash) user_pref("widget.use-xdg-desktop-portal.file-picker", 0); +// configure devtools +// show devtools in a separate window +user_pref("devtools.toolbox.host", "window"); +// show the console tab instead of the page inspector after pressing F12 +user_pref("devtools.toolbox.selectedTool", "console"); +// show time stamps in the console +user_pref("devtools.webconsole.timestampMessages", true); + // start always in the custom homepage user_pref("browser.startup.page", 1); // custom homepage: the value is expected to be replaced with the login URL by the startup script diff --git a/live/src/agama-installer.changes b/live/src/agama-installer.changes index 621ffc573b..247148c3b9 100644 --- a/live/src/agama-installer.changes +++ b/live/src/agama-installer.changes @@ -1,3 +1,10 @@ +------------------------------------------------------------------- +Fri Apr 25 14:10:04 UTC 2025 - Ladislav Slezák + +- Display Firefox devtool in fullscreen window, display the + console by default after pressing F12, display timestamps + in console + ------------------------------------------------------------------- Thu Apr 24 16:40:41 UTC 2025 - Knut Anderssen