[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Improve default mouse menu for mode from modeline
From: |
Eli Zaretskii |
Subject: |
Re: [PATCH] Improve default mouse menu for mode from modeline |
Date: |
Sat, 27 Oct 2018 14:24:40 +0300 |
> From: address@hidden (Pierre Téchoueyres)
> Date: Sat, 27 Oct 2018 12:47:14 +0200
>
> My proposal doesn't seem to have received any interest.
> Should I submit a bug (as an enhancement request) report for this
> instead ?
Yes, submitting an enhancement request is always better.
Thanks.