Any updates here? I do hope the patch can be merged.. -- William
- Re: prettify-symbols-mode in org agenda? Ihor Radchenko
- Re: prettify-symbols-mode in org agenda? William Xu
- Re: prettify-symbols-mode in org agenda? Ihor Radchenko
- Re: prettify-symbols-mode in org agenda? William Xu
- Re: prettify-symbols-mode in org agenda? Ihor Radchenko
- Re: prettify-symbols-mode in org agenda? Timothy
- Re: prettify-symbols-mode in org agenda? Ihor Radchenko
- Re: prettify-symbols-mode in org agen... William Xu
- Re: prettify-symbols-mode in org ... Ihor Radchenko
