Eric S Fraga <e.fr...@ucl.ac.uk> writes:
> On Sunday, 14 Feb 2021 at 12:39, Timothy wrote: >> Did this end up being patched into Org? > > I don't think anybody has proposed a patch... By patch "patch" I really mean just someone with commit access doing something like: #+begin_src diff org-priority-regexp - (defvar org-priority-regexp ".*?\\(\\[#\\([A-Z0-9]+\\)\\] ?\\)" + (defvar org-priority-regexp "^\\*+.*\\(\\[#\\([A-Z0-9]+\\)\\] ?\\)" #+end_src Since this thread seems to suggest it's (1) faster (2) more correct. -- Timothy
