[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#41351: 28.0.50; Cannot customize mouse-drag-and-drop-region-show-too
From: |
Stefan Kangas |
Subject: |
bug#41351: 28.0.50; Cannot customize mouse-drag-and-drop-region-show-tooltip |
Date: |
Sun, 17 May 2020 06:55:45 -0700 |
close 41351 28.1
thanks
David Ponce <da_vid@orange.fr> writes:
> I agree, your patch is better, tags are clear and will fit better in
> the customize buffer.
>
> Also, good catch about when the option sets to 0 :-)
>
> Please feel free to apply.
Thanks!
Now pushed to master as commit a8f24a89d7. Closing this bug.
Best regards,
Stefan Kangas