Fwd: org-priority: allow customization of priority indicator

2022-10-18 Thread drlkf
Hello, I would like to submit a patch to allow users to change the priority tag's form entirely. While it has been working for my use-case i.e basic operations inside org buffers and org-agenda, it is not perfect and there are some bugs that remain when using more advanced features with different

Re: Fwd: org-priority: allow customization of priority indicator

2022-10-18 Thread Ihor Radchenko
drlkf writes: > I would like to submit a patch to allow users to change the priority > tag's form entirely. While it has been working for my use-case i.e > basic operations inside org buffers and org-agenda, it is not perfect > and there are some bugs that remain when using more advanced features

Re: Fwd: org-priority: allow customization of priority indicator

2022-11-20 Thread Ihor Radchenko
Ihor Radchenko writes: > Thanks for the patch! > > In general, we do not intend to support changing basic elements of Org > syntax. So, things like your _p may remain buggy because they clash with > underscore emphasis. > ... > More comments below. > ... [I am following this up as more than one

Re: Fwd: org-priority: allow customization of priority indicator

2022-11-24 Thread drlkf
Hi, Apologies, I've been quite busy and I haven't had time to dive more into this, but I have it written down somewhere and I'll make modifications as soon as I am able. I'll reply here with a new patch when I'm done. Ihor Radchenko wrote: > Ihor Radchenko writes: > >> Thanks for the patch! >>

Re: Fwd: org-priority: allow customization of priority indicator

2022-11-24 Thread Ihor Radchenko
drlkf writes: > Apologies, I've been quite busy and I haven't had time to dive more into > this, but I have it written down somewhere and I'll make modifications > as soon as I am able. I'll reply here with a new patch when I'm done. No problem. This email was not to push you. Rather just a remi

Re: Fwd: org-priority: allow customization of priority indicator

2023-04-04 Thread Ihor Radchenko
Canceled.