Sergei Grechanik

Image placement using Unicode placeholders

11

This commit introduces the Unicode placeholder image placement method. In particular: - Virtual placements can be created by passing `U=1` in a put command. - Images with virtual placements can...

Colorcolumn is not displayed above modified background

2

### Problem When running neovim in diff mode, the color column is not displayed above the background indicating changes: with termguicolors:  with the `vim` color scheme:  ### Steps...

Hipspec performs worse if there are missing type signatures

1

For example, hipspec cannot prove the prop from [here](https://gist.github.com/sergei-grechanik/8150449) unless the type signature for (++) is uncommented. Judging by the *.mlw files, this is due to redundant apps. The bug...

Hi, I've noticed that delta highlights poorly this diff: [deltabug.txt](https://github.com/user-attachments/files/17453082/deltabug.txt) The result:  If I remove a couple of lines in the middle, the pairing is good ([deltabug-ok.txt](https://github.com/user-attachments/files/17453090/deltabug-ok.txt)):  delta...

notcurses-info hangs in st with the kitty graphics patch

1

Hi, I'm trying to check if notcurses works with my implementation of the kitty graphics protocol for st (https://github.com/sergei-grechanik/st-graphics). The first issue I see is that notcurses-info freezes on start....