Marshall Bowers
Marshall Bowers
In https://github.com/zed-industries/zed/pull/10240 we added a new `tab_bar` field to the settings. Can we put these settings under that instead of under `tabs`?
This should be addressed by #7382 and #7385.
Now that we have an extension system, this functionality can be provided via an extension. See our docs for [authoring extensions](https://github.com/zed-industries/extensions/blob/main/AUTHORING_EXTENSIONS.md) for details.
These don't seem aligned to me:
Thanks for opening this PR, @Tom-Boscher. It looks like icons for `Dockerfile`s were added already in #8453.
> oepnai's reverse proxy service is very common, I tried adding the following configuration, but it didn't work > > ```json > "assistant": { > "openai_api_url": "https://api.somereverseproxy.com/v1/chat/completions" > }, >...
Since this behavior can be configured in settings, I'm closing this issue. I think the current default behavior is the right one.
> I just tried these two variables, they may be wrong > > ```json > "experimental.theme_overrides": { > "panel.focused_border": "#ff0000", > "pane.focused_border": "#ff0000" > } > ``` The border color...
@wangjianpeng What are the specs for the hardware you're building on (CPU, RAM, etc.)?
@XDeme1 We will need to fix this in a way that still preserves the usage of the `Popover` component.