Best posts made by craigkeefner

Using opera 99.0.4788.31 May 23 on Pop!_OS 22.04 LTS with GNOME 42.5

Trying to locate where I can modify the window border. Looks to be 1 pixel and not easy to grab

I checked the forums and help but didn't see anything.

I'm test driving it and so far pretty nice.