Matthias Reitinger

Thanks for sharing this neat library. It works really well overall! However a small issue remains. Pressed keys get "stuck" when the window doesn't have focus while they are released....

Add bash completion

1

Added a bash completion script for joe as requested in #48. Source it from .bashrc to get joe completion in your shell.

Pipe name collisions (all pipe instances are busy)

4

When processing a large number of files (> 100,000) in parallel (>= 8 threads) using pipes as inputs and outputs we frequently get this exception: ``` System.IO.IOException: All pipe instances...

Increase length of pipe name to make collisions less likely

1

Closes #481. See #481 for rationale and discussion.

Fixes #218. The non-ordinal comparison caused file entries with an emoji name to be treated as directories. DotNetZip treats an entry as a directory if its name ends with `"/"`....

## Steps to reproduce 1. Create a ZIP file with a file named `Files/⚾` (i.e. `"Files/\u26BE"`). 2. Read the ZIP file with DotNetZip. 3. Get the entry and inspect the...

Return type of `substr` with constants depends on runtime PHP version instead of analyzed PHP version

1

### Bug report ### Description In PHP =8.0 `substr` returns `""` instead in these cases. See https://3v4l.org/6aUKU When analyzing `substr` calls with constant arguments, PHPStan uses the `substr` behavior of...