Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Color faces are not updated immediately after saving settings #20106

Closed
1 task done
failable opened this issue Nov 2, 2024 · 2 comments
Closed
1 task done

Color faces are not updated immediately after saving settings #20106

failable opened this issue Nov 2, 2024 · 2 comments
Labels
bug [core label] setting Feedback for preferences, configuration, etc stale Label used by `stale` action workspace Feedback for workspace management, layout, interactions, etc

Comments

@failable
Copy link

failable commented Nov 2, 2024

Check for existing issues

  • Completed

Describe the bug / provide steps to reproduce it

Some color faces are not updated immediately after saving settings. For example, changing the deleted

  "experimental.theme_overrides": {
    "deleted": "#0000ff"
  }

if the diff is already shown, one will have to close the diff view and open again to see the update.

Environment

Zed: v0.160.2 (Zed Preview)
OS: macOS 15.0.1
Memory: 32 GiB
Architecture: x86_64

If applicable, add mockups / screenshots to help explain present your vision of the feature

No response

If applicable, attach your Zed.log file to this issue.

Zed.log
@failable failable added admin read bug [core label] labels Nov 2, 2024
@JosephTLyons JosephTLyons added workspace Feedback for workspace management, layout, interactions, etc setting Feedback for preferences, configuration, etc and removed triage labels Nov 10, 2024
Copy link

Hi there! 👋
We're working to clean up our issue tracker by closing older issues that might not be relevant anymore. If you are able to reproduce this issue in the latest version of Zed, please let us know by commenting on this issue, and we will keep it open. If you can't reproduce it, feel free to close the issue yourself. Otherwise, we'll close it in 7 days.
Thanks for your help!

@github-actions github-actions bot added the stale Label used by `stale` action label Mar 18, 2025
Copy link

This issue was closed due to inactivity. If you're still experiencing this problem, please open a new issue with a link to this issue.

@github-actions github-actions bot closed this as not planned Won't fix, can't repro, duplicate, stale Mar 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug [core label] setting Feedback for preferences, configuration, etc stale Label used by `stale` action workspace Feedback for workspace management, layout, interactions, etc
Projects
None yet
Development

No branches or pull requests

2 participants