|
From: | martin rudalics |
Subject: | Re: Fix some tooltip related problems |
Date: | Fri, 19 Jan 2018 19:54:29 +0100 |
> I intend to apply the attached patch to master. Its ChangeLog goes > as below. Comments and suggestions welcome. Installed with minor modifications. Thanks for your comments and suggestions. martin
[Prev in Thread] | Current Thread | [Next in Thread] |