[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#20398: 25.0.50; Clicking `window-divider-last-pixel' in help for `wi
|
From: |
martin rudalics |
|
Subject: |
bug#20398: 25.0.50; Clicking `window-divider-last-pixel' in help for `window-divider' |
|
Date: |
Sun, 01 May 2016 10:23:44 +0200 |
>> So I think the workaround you suggest is not that bad. It's not a full
>> solution, but it does go in the right direction.
>
> Martin, you never applied your patch. Was there a reason for that?
It was a half-baked idea IIRC. This issue requires more work, I'm
afraid.
martin
- bug#20398: 25.0.50; Clicking `window-divider-last-pixel' in help for `window-divider',
martin rudalics <=