jabranham mixed-pitch issues - Githubissues

jabranham / mixed-pitch

Moved to gitlab

https://gitlab.com/jabranham/mixed-pitch

GNU General Public License v3.0

23 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

fixed width faces do not zoom

#6 vikasrawal opened 6 years ago
1
Use face instead of symbol

#5 Fuco1 closed 6 years ago
1
Handle org lists

#4 aaronjensen opened 6 years ago
8
Suggestion: add faces for diff mode

#3 brabalan closed 6 years ago
2
Org mode code blocks remain variable pitch with org-src-fontify-natively enabled

#2 anpandey closed 6 years ago
5
Minor fixes

#1 purcell closed 7 years ago
2