how increase font size in source code toolitps?

Fri Oct 21 13:23:33 BST 2016

On Friday October 21 2016 12:27:34 Kevin Funk wrote:

> Also note that the code navigation tool tips are not only displayed inside the 
> text editor part. They'd look off if they had a different font size than the 
> overall application.

Isn't that (at least a bit) up to the user to decide?

And FWIW, MS Windows uses a font for tooltips that is different from (at least smaller) than the standard UI font. OS X too, in fact.

R.