Juraj Fiala

Same issue, though you can use the 16 version to work around it. I use gnome-terminal, which should be 256 colours (I think), and I have configured it's colours to...

The image is cut both on the top and bottom for me (GNOME 3).

In my use-case an optional setting in gamemode would be perfect; I get the argument that it shouldn’t touch it by itself, but if configurable by users it would be...

> No, I think it would be confusing when all those plugins automatically bind to the default `format document` key binding. So it won't be supported unless necessary. I do...

How do you people actually use this extension without this?

They just require adding a TXT DNS entry; it’s a commonly used approach (e.g. Google Search Console uses this to verify you own the domain).

Here is a screenshot of the changes: 

Oh, of course, don’t merge it! This patch is just a proof-of-concept. TBH, I think the fonts could use a 2px bump site-wide, but that was biting off more than...

@paulcarroty what happened to that?

Oh, I thought that would be daily.