Michael Zimmermann

Results 108 comments of Michael Zimmermann

The check is still fundamentally wrong though because (especially with organization repositories), the source-branch might be in the same repo as the destination-branch. On top of that, the action can...

My fix was extracting the config from Franco's latest release because the one on github seems to be outdated

keep in mind that depending on the kind of control-flow support this introduces a new class of security issues in form of infinite loops.

neovides rendering also seems to be too bright or bold: alacritty: ![image](https://user-images.githubusercontent.com/878458/173221930-b1c8e186-c1d6-4999-b103-222161458c0c.png) neovide: ![image](https://user-images.githubusercontent.com/878458/173221909-e395c0d1-e35f-40d4-acac-6efa782fcb74.png)

For me personally, this is a very high priority issue since I have very little screen space(due to my UI scaling requirements) and even 100line-long code gets cut off. So...

I'm not sure if that's the best way since you might still wanna scroll vertically while being scrolled horizontally and still see where in the document you you are.

well you can scroll both directions at the same time and while being scrolled horizontally I'd still like to know where I am vertically.

oh for some reason I thought that you mean that we hide the vertical scrollbar as soon as we're scrolled horizontally, sry about that :roll_eyes:

I've implemented a scroll bar :) A few things: - it's using the vertical bar symbol. that looks a little weird but I couldn't find a better one - calculating...

At least not within the next few weeks. So if anyone else wants to take over feel free. If not and I feel like continuing this I'll say so here.