[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Allow tags containing capital letters in org-agenda-filter
|
From: |
Kyle Meyer |
|
Subject: |
Re: [PATCH] Allow tags containing capital letters in org-agenda-filter |
|
Date: |
Mon, 15 Feb 2021 00:57:57 -0500 |
Ihor Radchenko writes:
> Hi,
>
> I recently noticed that org-agenda-filter does not match tags with
> capital letters because all the stored tags in agenda are downcased.
> The attached patch is fixing the issue. Though, ideally, it would be
> better if agenda filter were case-sensitive for tags.
I agree, though I also agree that you're patch is an improvement.
Pushed (75ccb9719).
Thanks.