Marc van Gend

Results 40 comments of Marc van Gend

If it's a Firefox bug, why didn't it occur before Gnome 3.20? Do you happen to know a bug report upstream?

Reported here as well: https://bugs.chromium.org/p/chromium/issues/detail?id=782406

It seems that this has already been fixed in Chrome 63, which is expected December 5th. See https://bugs.chromium.org/p/chromium/issues/detail?id=782406#c4 for more info.

Unfortunately this patch doesn't apply anymore, but the problem still occurs: ``` $ packer -Syu --noconfirm :: Synchronizing package databases... core is up to date extra is up to date...

Yes, I support this request. In some cases you need to differentiate between a normal phone number and a mobile phone number.

Exactly the same situation here. I would love to have a solution that combines *not* using `host_db_port` (no port collisions, automatically) with easy (automatic or set-and-forget) PhpStorm configuration.

Hi @waydabber, thanks for the swift reply. I'm happy I helped you test the new version without even knowing it ;-) I'll let you know if I find any issues....

I can't get this to work properly, it seems that every approach has one or more disadvantages. The suggestion made by @DuaelFr will probably work for certain projects, but not...

I'm seeing the same thing in Arch Linux (installed from the AUR package) with Gnome desktop. It is possible to maximize the window, but when you close and re-open the...