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.

Sign up for GitHub

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

Jump to bottom

Adjust fontification #40

Merged
merged 1 commit into from Jul 9, 2022
Merged

Adjust fontification #40

merged 1 commit into from Jul 9, 2022

Conversation

jeanphilippegg
Copy link
Contributor

Some adjustments:

  • I used $ for the end of the line.
  • I used " " for the start of the filename in Dired (different for the backlinks buffer).

@protesilaos protesilaos merged commit e7de7ba into protesilaos:file-name-permutations Jul 9, 2022
@protesilaos
Copy link
Owner

Merged. Thank you!

Let's try this for a while and see how it goes.

@protesilaos
Copy link
Owner

I just added this:

(define-obsolete-variable-alias
  'denote-faces-file-name-with-subdir-keywords
  'denote-faces-file-name-keywords-for-backlinks
  "0.3.0")

We will remove it at a later version.

protesilaos added a commit that referenced this pull request Jul 9, 2022
@protesilaos
Define obsolete alias of fontification var
39d8528 
This is a follow-up to commit 3f2e078, which was contributed on the
GitHub mirror as pull request 40:
<#40>.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@jeanphilippegg @protesilaos