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

highlight active heading in menu bar #970

Merged
merged 1 commit into from
Aug 18, 2020

Conversation

azul
Copy link
Contributor

@azul azul commented Aug 13, 2020

Addition to the fix for #353

Now the heading button is active if any heading is active.

@azul azul force-pushed the enh/highlight-active-headings branch from 542dec5 to 2671466 Compare August 13, 2020 07:48
@azul azul requested a review from juliusknorr August 13, 2020 07:50
@juliusknorr
Copy link
Member

/compile amend /

Signed-off-by: Azul <azul@riseup.net>
Signed-off-by: npmbuildbot[bot] <npmbuildbot[bot]@users.noreply.github.com>
@npmbuildbot-nextcloud npmbuildbot-nextcloud bot force-pushed the enh/highlight-active-headings branch from 2671466 to d264c9a Compare August 17, 2020 11:36
@juliusknorr juliusknorr merged commit 4dc6f61 into master Aug 18, 2020
@juliusknorr juliusknorr deleted the enh/highlight-active-headings branch August 18, 2020 19:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants