eqilnou

List of changes proposed in this PR: - fix the link to the filter list used by AdGuard Public DNS service. The previous link seems to me to point to...

Add symbol picker / inserter

2

### Feature idea Add a symbol picker that allows browsing the Unicode symbols to insert one, similar to the emoji picker. Like the emojis, the symbols should be divided in...

Add subscripts and missing fractions in number row popups

1

Added subscripts to the popups in the number row. Closes #2805. Also added the two missing fractions `⅟` and `↉`. In the Western Arabic and Thai layouts, the subscript is...

### Short description I came across a peculiar bug: keys that have certain key codes, like `9` (tab) and `11` (vertical tab), when pressed do not type the character corresponding...