|
From: | martin rudalics |
Subject: | bug#27047: 26.0.50; Scroll bar menu UI glitches [patch] |
Date: | Wed, 24 May 2017 14:27:00 +0200 |
Done, as commit 08f00c01d6 and closing the bug. (The commit also removed the two functions that were no longer used as a result of the change, which the patch I posted had overlooked.)
Thanks again, martin
[Prev in Thread] | Current Thread | [Next in Thread] |