Skip to content

Fix incorrect feature name in the code editor demo - #8330

Merged
emilk merged 2 commits into
emilk:mainfrom
limo520:fix-code-editor-demo
Aug 3, 2026
Merged

emilk merged 2 commits into
emilk:mainfrom
limo520:fix-code-editor-demo

Conversation

@limo520

@limo520 limo520 commented Jul 21, 2026

Copy link
Copy Markdown
Contributor

Change the feature name from syntax_highlighting to syntect.

  • I have followed the instructions in the PR template

Change the feature name from syntax_highlighting to syntect.
@github-actions

github-actions Bot commented Jul 21, 2026 •

Copy link
Copy Markdown

Preview available at https://egui-pr-preview.github.io/pr/8330-fix-code-editor-demo
Note that it might take a couple seconds for the update to show up after the preview_build workflow has completed.

View snapshot changes at kitdiff

@emilk emilk added docs and examples Improving and adding documentation and examples exclude from changelog labels Aug 3, 2026
@emilk
emilk merged commit 2e7a92b into emilk:main Aug 3, 2026
26 checks passed
wyvernbw pushed a commit to wyvernbw/egui that referenced this pull request Aug 7, 2026
Change the feature name from syntax_highlighting to syntect.

<!--
Please read the "Making a PR" section of
[`CONTRIBUTING.md`](https://github.com/emilk/egui/blob/main/CONTRIBUTING.md)
before opening a Pull Request!

* Keep your PR:s small and focused.
* The PR title is what ends up in the changelog, so make it descriptive!
* If applicable, add a screenshot or gif.
* If it is a non-trivial addition, consider adding a demo for it to
`egui_demo_lib`, or a new example.
* Do NOT open PR:s from your `master` branch, as that makes it hard for
maintainers to test and add commits to your PR.
* Remember to run `cargo fmt` and `cargo clippy`.
* Open the PR as a draft until you have self-reviewed it and run
`./scripts/check.sh`.
* When you have addressed a PR comment, mark it as resolved.

Please be patient! I will review your PR, but my time is limited!
-->

* [x] I have followed the instructions in the PR template

Co-authored-by: Emil Ernerfeldt <emil.ernerfeldt@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs and examples Improving and adding documentation and examples exclude from changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants