• 5 Posts
  • 9 Comments
Joined 29 days ago
cake
Cake day: April 2nd, 2025

help-circle
  • Hi Zerush, thanks for replying and providing the reference link, but did you read what I wrote? I can change the font size in devtools no problem, and I have it docked. But the font size is only “persisted” for that particular window unlinke the behaviour in Chrome and Firefox.

    So each time I open devtools in a window I have to manually increase the font size two “notches” to suite my particular personal preference. I certainly hope the Vivaldi team fixes that for us developers.




  • I agree that tech sovereignty is desirable so that we can’t get blackmailed like Ukraine. I’ve switched almost all my software.

    Perhaps obvious to everyone but it didn’t dawn on me until today add those ratings and reviews to your new apps in the app or play stores to give them a boost in visibility and ranking for people who are less nerdy and less aware.