Re: [PATCH] Tooltip on graphics insets

[Richard Heck]

On 02/25/2012 08:05 AM, Pavel Sanda wrote:

Hi,

I found convenient to have filename as a tooltip on the graphics inset.
Objections to this change?

Seems reasonable.

rh