Skip to content

feat(live): Configure Firefox devtools to open in fullscreen #2295

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
lslezak merged 1 commit into from
Apr 25, 2025
Merged

feat(live): Configure Firefox devtools to open in fullscreen #2295

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions live/live-root/root/.mozilla/firefox/profile/user.js.template
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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);
Copy link
Contributor

@dgdavid dgdavid Apr 25, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

For saving more space, I guess you could even show only errors by disabling others

devtools.webconsole.filter.info	        false	
devtools.webconsole.filter.warn       false

Copy link
Contributor Author

@lslezak lslezak Apr 25, 2025 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We use logging at very few places in the web UI, most of them are errors or warnings already. We can change the filtering later when really needed, for now I'd keep it as it is.


// 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
Expand Down
7 changes: 7 additions & 0 deletions live/src/agama-installer.changes
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,10 @@
-------------------------------------------------------------------
Fri Apr 25 14:10:04 UTC 2025 - Ladislav Slezák <lslezak@suse.com>

- 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 <kanderssen@suse.com>

Expand Down
Loading