|
| 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] |