Vosjedev

improve multiline support

1

Multiline command support is currently even worse than bash... In readline, if I go to a second line, it starts a prompt for the second line, on which I can't...

`input_field` placeholder text color is inverted

3

The text color of the placeholder text in the input field is inverted. This works fine for getting light grey when the dots are dark grey, but for colors it's...

`[[ <exp> ]]` seems to be broken

1

I tried the following script: ```bash if [[ -z "$var" ]]; then echo "-z var == true" else echo "-z var == false" fi ``` And it gave me an...

Is it possible to remap keys with multiple modifiers from the cli?

4

I am trying to bind `ctrl`+`alt`+`shift`+`f1` up to `ctrl`+`alt`+`shift`+`f9` to new bindings using keyd-application-mapper. Because my mappings did not work, I started trying to do it manually from the cli,...

Niet meer op google play / geen apk download

5

Ik kan de versie op google play niet meer vinden, en de links op de site en de readme sturen naar een niet bestaande app. Is het mischien handig om...