[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of
From: |
Visuwesh |
Subject: |
bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name |
Date: |
Thu, 26 Dec 2024 17:21:15 +0530 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
[வியாழன் டிசம்பர் 26, 2024] Eli Zaretskii wrote:
>> [...]
>> >> +++ #<buffer dired.el>
>> >> @@ -2089,8 +2089,10 @@
>> >> `( mouse-face highlight
>> >> help-echo "mouse-1: revert this buffer"
>> >> keymap ,(define-keymap
>> >> - "<mouse-2>" #'revert-buffer
>> >> - "<follow-link>" 'follow-link
>> >> + "<mouse-2>" (lambda (_)
>> >> + (interactive "@e")
>> >> + (revert-buffer))
>> >> + "<follow-link>" 'mouse-face
>> >
>> > I don't know how to fix the mouse-1 problem in a sensible way either.
>> > Does anyone?
>> >
>> > (And I think in this version the "e" code in `interactive' isn't
>> > significant - but let's first see if we can improve the behavior even
>> > more.)
>>
>> Indeed, I thought @ had to go with e _always_.
>
> Thanks, so please post a proper patch with a commit log message, so I
> could install it.
Thanks, patch attached.
0001-Ensure-Dired-window-is-selected-when-reverting-buffe.patch
Description: Text Data
- bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name, (continued)
- bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name, Juri Linkov, 2024/12/05
- bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name, Eli Zaretskii, 2024/12/12
- bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name, Michael Heerdegen, 2024/12/23
- bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name, Visuwesh, 2024/12/23
- bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name, Michael Heerdegen, 2024/12/24
- bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name, Drew Adams, 2024/12/24
- bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name, Visuwesh, 2024/12/24
- bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name, Eli Zaretskii, 2024/12/26
- bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name,
Visuwesh <=
- bug#74700: [PATCH] Revert Dired buffer when clicking on last segment of directory name, Eli Zaretskii, 2024/12/26