Just annotations of little "how to's", so I know I can find how to do something I've already done when I need to do it again, in case I don't remember anymore, which is not unlikely. Hopefully they can be useful to others, but I can't guarantee that it will work, or that it won't even make things worse.
Apparently Opera no longer wants you to have system-style title-bar and borders, but "devil's pie" allows you to
Posted 06-10-2020 at 01:33 AM by the dsc
Tags bug/feature, opera
Genereated by gdevilspie:
I don't even really use it, I just installed recently trying to see if there was a bug with Brave and the other Chrome-based ones (I believe it was all due to the fact I forgot I had swap disabled, trying to fix some udev/systemd/package dependency mess), but I find it annoying enough to set it up just in case. There are redundant buttons, though. I hope there's at least some hidden flag to enable it properly. The odds are that I'm not start using it, though, not for that issue.
Code:
; generated_rule opera-decor ( if ( begin ( contains ( window_name ) "- Opera" ) ) ( begin ( decorate ) ( println "match" ) ) )
Total Comments 2
Comments
-
The real Opera died with presto.
Posted 06-15-2020 at 01:10 PM by GazL -
It was by far my favorite browser for a long while. The interface could be customized in virtually any way wanted (functional ways, not just skins -- from the "core" UI to context menus), you could create "add ons" of many sorts (there was a fan/user-site that had dozens of bookmarklet-like things you could just drag-and-drop into your GUI, also an official community with bloggers sharing their own custom stuff), and then there were those "default-custom" CSSs that you could easily apply to any site (maybe not that useful today as CSS implementations will more often differ more from basic standards, but nowadays it's at least like a built-in "stylus" extension). It was kind of the "openbox"/"fluxbox" version of a web-browser, and it was also the fastest, or almost.
May have been the first browser to have tabs!
I initially hoped "Chropera" would have the same kind of GUI "philosophy" with only Chrome's web-engine, but unfortunately it's almost the opposite direction.
I think there are some minimalist, GUI-less browsers that perhaps can be configured similarly, maybe even added GUIs like Opera, but I haven't really checked or seen anything like that being done. And from the little I've checked they seem unfortunately slow.Posted 07-31-2020 at 01:03 PM by the dsc
Updated 07-31-2020 at 01:09 PM by the dsc