Julian Berman comments

Results 757 comments of


                                            Julian Berman

Add more context to the non-unique array item in error

This isn't likely to happen unless #517 happens, as right now we don't calculate this information (and doing so isn't strictly necessary to know the list contains duplicates). But given...

Add in fractional width/height and change default as per #315

Seems to work great, well done. Can you add another test for these fractional cases, you should be able to manipulate `vim.o.lines` I think before opening the infoview. The CI...

Add in fractional width/height and change default as per #315

Hey @lucianchauvin the CI flakiness should be resolved if you merge main, lemme know if you're still interested in adding the test!

Add in fractional width/height and change default as per #315

> would you like me to just add two Yeah those two sound perfect to me!

Still show last compiled goal-state while `Processing file...`

I agree 100% with this FWIW, it's been on my docket to do.

Add config for goals accomplished and no goals

Thanks! > Technically the message for no goals can already be configured with vim.g.lean_no_goals_message but this is an implementation detail Yeah this indeed was just meant as an implementation detail...

Add config for goals accomplished and no goals

Hey @stephen-huan the CI flakiness should be fixed if you merge main -- lemme know if my comment made sense / if you're still interested in this PR!