Kovid Goyal

On Mon, Aug 29, 2022 at 09:53:52AM -0700, Martin Wernstål wrote: > @kovidgoyal Would it be suitable to pre-compute the font gamma adjustment to the rendered alpha channel in `render_alpha_mask`...

Why not just use this method at kitty startup to check for kitty.app.icns in the kitty config folder and set the icon. All the user needs to do is place...

On Fri, Sep 02, 2022 at 06:25:46AM -0700, page-down wrote: > I have never seen another app use this approach and am concerned about potential unknown issues. This will be...

No idea, never tried as I dont use venvs. Presumably you will need to install mypy in the venv.

Link kitty against the python in the venv.

Actually no, the linked interpreter is not used. See the function type_check() in main.py

This should take care of it: https://github.com/kovidgoyal/kitty/commit/5ea0519f62c8562633f269ce0ea147629ea6334a

I have merged changing the implementation a bit, to allow the icon to be updated easily.

On Fri, Sep 02, 2022 at 05:09:20AM -0700, page-down wrote: > I noticed the following commit, does that mean that using `doc` text roles without the `slash /` prefix is...

This makes scrolling with a touchpad much worse, as noted in the original MR thread. If you want to do this, it should only be done for DOM_DELTA_LINE. And possibly...