Kyle Meyer <[email protected]> writes: > Sébastien Miquel writes: > >> Priority cookies are always in a headline. >> >> The attached patch speeds up fontification of a 1k lines buffer by 0.1 >> second. > > Thank. Pushed (a03b4656c), adding this... > >> Note that the variable org-priority-regexp can't be modified since >> it is used in the agenda and in org-get-priority. > > ... bit to the commit message, and also adding a trailer to credit Ihor > for the initial suggestion.
Applied, as commit a03b4656c This message is being sent to update our issue tracker at https://tracker.orgmode.org
