Marshall Bowers
Marshall Bowers
@cmuhire There was a problem where the Zed extension API wasn't respecting the constraints being passed up from Zed when installing an extension. I just deployed a fix, and installing...
> I do love my github stars so I would definitely want to integrate that. I don't think it makes sense to have this sort of integration with being able...
I don't think we want this window open animation. It increases the time it takes to open a new window, which I feel is undesirable for an editor like Zed.
@stalexsm I've seen this issue before, but haven't been able to consistently reproduce. I tried following the steps in your video and wasn't able to reproduce the issue in that...
@ckipp01 I fixed [my link](https://maxdeviant.com/log) :smile:
Thank you for your work on this PR, @juicyarts. While we may add support for hiding these bars in the future, it's not as simple as just exposing a setting...
@aviralpatel Could you please share the contents of your Zed logs (`zed: open log` in the command palette)? Are there any errors listed there?
Moving this to the main Zed issue tracker.
> I think the popover itself needs padding too. Done in https://github.com/zed-industries/zed/pull/9197.
@Moshyfawn I'm having trouble reproducing this locally in any version of Zed 🤔 Are you pretty consistently seeing the missing checkbox border, or are there some other factors that influence...