Forgot to add: The last straw was when I opened Opera, and found all but 1 of my extensions were gone..... vanished. I went to one of my other computers that was set to sync the same things, hoping it still had all the extensions on it. They were gone from that system also. I wasnt about to go through the process of downloading all my extensions again, and get them all set up. Like I said, tired of fixing Opera every time an update breaks something. Went back to Firefox instead, and have had no issues.
Sorry, I believe that I misunderstood your original note. I thought that you simply did not like the menu being in the "top of screen" position rather than the application's title bar (I'm with you on that) so i suggested that the double-click on the Opera side panel was at least the easy way to switch back and forth and get the menu when needed. The "O" button was there at one point but that seems to have been abandoned.
At any rate, on my system settings/appearance/behavior the "in the menu bar" & "always displayed" does at least work for Opera, but the fact that it then puts every program's menu there (that does not have a menu "button") at the screen top means that I stick with "windows title bar" & "always displayed" that and just do the double-click for Opera, for me the easiest way to toggle full screen.
On my boxes (combinations of 16.04, 18.04 Unity and Gnome) Chrome on most boxes seems to be operating like Opera with no window menu, Firebird and Chromium work just fine, Vivaldi uses a menu button. I have a few other browsers and Windows 10 but this note is far too long already..
At least I can get it title bars somewhere on them all. Bummer for you.
In some versions of Opera/Chrome it has worked as expected. My version of Synergy has never changed. This effects no other software. I realize that's not definitive, but all the available evidence seems to point to WebKit.
Thanks for the bug report (even if it's for chromium and not Chrome).
Thanks for that, kgiii.
(You won't or at least shouldn't need sudo in your own home directory.)
No problem. Glad to have helped and no, you shouldn't need elevated permissions but I figured I'd mention it. I've been on a least privilege kick for a little while (I hang out on the AskUbuntu site a bit as well as StackExchange/Overflow and Unix) and it's kind of become a habit. I see people who will suggest stuff like sudo nano ~/bash_history and quietly edit it out. This stuff is meant to last forever, I guess.
Anyhow, I should write some sort of extension for this. It'd be nice if Opera opened up access to their sync servers. I'd then write an extension to sync the darned dictionary.
I use leafpad ~/.config/opera/"Custom Dictionary.txt" to edit. Quotes are required due to the space in the file name. Or... leafpad ~/.config/opera-beta/"Custom Dictionary.txt"
I suppose you probably already know all of this but someone might come along afterwards and not know. sighs It's that writing for AU that's made me do it! Who knows? The next person to come along might want to know. Hmm... You could probably alias it, if you used it often enough to warrant adding it to the list.
If you agree it should be done but for different reasons, wouldn't it make more sense to say "yes, do it for these reasons also" rather than argue that my reasons are insufficient?
Directly to your point though, the developers may be a long way off from fixing all the features of both the dialog and any that remain in the tree. Separating these functions would allow any user, developer, or tester to enable one or the other as their use-case demanded.