Ganton
Ganton
> @okasion Also, how difficult could be code shift+insert as paste command? For that, there's a pull request: https://github.com/Swordfish90/cool-retro-term/pull/702 At least we can add a "thumbs up" to that pull...
> There is some logic in excluding `$#`, but empirically it appears to be pretty rare to check it without then using `$@` or `$1` based on the result. Is...
I can confirm this bug, too.
This bug can be closed.
> > This bug can be closed. > > Both distribution are still using a version from six years ago. Andrea, the situation changed lately: https://bugs.launchpad.net/ubuntu/+source/trash-cli/+bug/2011289 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=988597 This bug report...
It also happens to me using Firefox 113.0.2, even after restarting it, and disabling and enabling Copy as Markdown...
> Works for me in FF 102 32bit ESR, and does **not** in FF 116 64bit, both under Windows 11. Does not work for me in FF 116 64bit under...
In the Jink font: the "ñ" character is ok, but in the Monda font, the "ñ" character is not ok. Thanks for the fonts!
> The reversed tilde was fixed by Rodrigo Fuenzalida and the font will soon be updated on Google Fonts. Better late than never! One thing, just in case there's an...