Skip to content

Conversation

@epeleh
Copy link
Contributor

@epeleh epeleh commented Aug 14, 2025

Hi 👋
Thanks for such a great tool 🔥

I tried to apply styles from the examples/css/darktheme.css file, and faced with some highlighting issues when using the search functionality 😿
These code changes helped me to solve them ✅

Unfortunately, I don't have time to properly verify that these changes are correct, 🙈
but probably I'm not mistaking, and there indeed are typos 🤔
You may just close this PR if I missed something 🧐

Best regards 🙌

@epeleh epeleh changed the title Fix some class names in darktheme.css example file Changesome class names in the darktheme.css example file Aug 14, 2025
@epeleh epeleh changed the title Changesome class names in the darktheme.css example file Change some class names in the darktheme.css example file Aug 14, 2025
@josdejong
Copy link
Owner

Thanks @epeleh for these fixes 👍

I'll test them asap but it can take some more time due to the holiday period ⌛

Are you a fan of smileys? 😉

@josdejong
Copy link
Owner

Thanks @epeleh for this fix!

The dark theme example is relatively limited. If you want, feel free to improve it further in a new PR, like adjusting the styling of the status bar in text mode, navigation bar in tree mode, the search box itself, and maybe more.

@josdejong josdejong merged commit b8d0414 into josdejong:develop Aug 22, 2025
6 checks passed
@josdejong
Copy link
Owner

Published now in v10.4.0, thanks again.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants