Subject: bug#20398: 25.0.50; Clicking `window-divider-last-pixel' in help for `window-divider'

From: martin rudalics <[email-masked]>
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