Tassilo Horn

Fixed in Git: http://git.savannah.gnu.org/cgit/auctex.git/commit/?id=b2571b6048928882903204553716b9ec19d3e15b

Currently, you can customize `hl-paren-face` which applies to all surrounding parens. The values of `hl-paren-colors` and `hl-paren-background-colors` are used to define foreground/background colors of the nearest N-th paren pair. So...

Related: #6, #4 Both PRs were declined but I suggested the introduction of a new defcustom `hl-paren-face-attributes` which would allow a paren-level-wise configuration of all face attributes. (Of course we...

@holtzermann17 What this issue is about is being able to set different attribute values depending on the "paren level", i.e., make the immediately surrounding parens bold, the next pair underlined,...

Also thanks from me! With the provided windows software which came with the pedals I could only configure ctrl/alt/shift in a way that when you press and hold one pedal...

What is finalterm concerned about what shell it's running? The output of commands is the same in every shell, or does it interact more with the shell than parsing the...

Ah, ok, I've just seen that no feature making finalterm innovative works when I start a zsh manually. Do you have some pointers/docs on what's needed to make it work...

I have the very same problem using Arch Linux and Gnome 3.34 and the latest version of the extension from extensions.gnome.org. ``` Okt 09 11:30:39 nbhta-and gnome-shell[1719]: Object St.Button (0x55c368207fb0),...

I use the standard Adwaita-dark theme. I only get that crash on my work machine but not on my private laptop where the extension works just fine and no such...

Ok, my firefox has `"app_id": "firefoxdeveloperedition"` but the desktop file is `/usr/share/applications/firefox-developer-edition.desktop`, so I guess that's the problem why my firefox has no icon on the machine where icons generally...