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

Default rulers color to red #2669

Merged
merged 6 commits into from
Jun 21, 2022

Conversation

Mathspy
Copy link
Contributor

@Mathspy Mathspy commented Jun 3, 2022

Currently if the theme a user is using doesn't have ui.virtual.rulers set and they set up a ruler it just fails silently making it really hard to figure out what went wrong. Did they set incorrectly set the ruler? Are they using an outdated version of Helix that doesn't support rulers?

This happened to me today, I even switched to the default theme with the assumption that maybe my theme just doesn't have the rulers setup properly and it still didn't work.

Not sure if this is a good idea or not, feel free to suggest better alternatives!

helix-term/src/ui/editor.rs Outdated Show resolved Hide resolved
helix-term/src/ui/editor.rs Outdated Show resolved Hide resolved
Mathspy and others added 6 commits June 11, 2022 22:26
Currently if the theme a user is using doesn't have `ui.virtual.rulers`
set and they set up a ruler it just fails silently making it really hard
to figure out what went wrong. Did they set incorrectly set the ruler?
Are they using an outdated version of Helix that doesn't support rulers?

This happened to me today, I even switched to the default theme with
the assumption that maybe my theme just doesn't have the rulers setup
properly and it still didn't work.

Not sure if this is a good idea or not, feel free to suggest better
alternatives!
@Mathspy
Copy link
Contributor Author

Mathspy commented Jun 12, 2022

(Rebased to resolve a conflict)

@archseer archseer merged commit fa4934c into helix-editor:master Jun 21, 2022
@Mathspy Mathspy deleted the default-rulers-to-red branch June 26, 2022 13:24
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.

3 participants