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

Fix needless hiding of emphasis markers already hidden by Org #25

Merged
merged 2 commits into from
Feb 4, 2020

Conversation

Kazark
Copy link
Contributor

@Kazark Kazark commented Jan 24, 2020

Fix needless (and buggy, compared to Org's default behavior) hiding of emphasis markers already hidden by Org. I spent some time trying to figure out how to clean up the current "hide emphasis markers" algorithm, evening looking at org.el, but couldn't figure it out (#12 is relevant here).

Not only needless, but buggy compared to what Org is doing.
@rlister
Copy link
Owner

rlister commented Feb 4, 2020

@Kazark I like what you are doing here, and agree, we can probably make this code more elegant and clean up a lot of the related issues by using the default org-mode hiding methods. I have some ideas for this and will followup later with another PR.

@Kazark
Copy link
Contributor Author

Kazark commented Feb 4, 2020

@rlister Cool, thanks. I see my PR is conflicted now. Should I resolve that, or is your subsequent PR going to make this one obsolete?

@rlister
Copy link
Owner

rlister commented Feb 4, 2020

I plan to merge this. If you want to fix the conflict feel free to go ahead, otherwise I will look at it later today. Should be straightforward.

@Kazark
Copy link
Contributor Author

Kazark commented Feb 4, 2020

org-hide-emphasis-markers applies to the verbatim stuff you just merged as well. I got this merged in a way that reflects that. Thanks @rlister .

@rlister rlister merged commit 9709ca2 into rlister:master Feb 4, 2020
@rlister
Copy link
Owner

rlister commented Feb 4, 2020

@Kazark Great, thanks!

@Kazark Kazark deleted the emphasis-markers branch February 4, 2020 17:54
@Kazark
Copy link
Contributor Author

Kazark commented Feb 4, 2020

@rlister Thanks for accepting!

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