On 2020-10-11, 02:40 -0400, Kyle Meyer wrote:
> I'm wary of changing the regexp. Although the docstring does suggest
> the space shouldn't be a part of the first group, the group has included
> the space since org-priority-regex was introduced way back in 2008. And
> making the suggested change
Protesilaos Stavrou writes:
> On 2020-09-29, 08:00 +, Roman Rudakov wrote:
>
>> "Protesilaos Stavrou" writes:
>>
>>> Roman Rudakov [2020-09-15, 18:50 +]:
>>>
I use theme which draw boxes around priority cookie. Before updating to
version 9.4 box was rendered just around square
On 2020-09-29, 08:00 +, Roman Rudakov wrote:
> "Protesilaos Stavrou" writes:
>
>> Roman Rudakov [2020-09-15, 18:50 +]:
>>
>>> I use theme which draw boxes around priority cookie. Before updating to
>>> version 9.4 box was rendered just around square brackets, but since
>>> version 9.4 i
"Protesilaos Stavrou" writes:
> Roman Rudakov [2020-09-15, 18:50 +]:
>
>> I use theme which draw boxes around priority cookie. Before updating to
>> version 9.4 box was rendered just around square brackets, but since
>> version 9.4 it has additional space at the end.
>>
>> I think it's relat
Roman Rudakov [2020-09-15, 18:50 +]:
> I use theme which draw boxes around priority cookie. Before updating to
> version 9.4 box was rendered just around square brackets, but since
> version 9.4 it has additional space at the end.
>
> I think it's related to the fact that org-priority face de
Remember to cover the basics, that is, what you expected to happen and
what in fact did happen. You don't know how to make a good report? See
https://orgmode.org/manual/Feedback.html#Feedback
Your bug report will be posted to the Org mailing list.
-