On 2010-05-20 at 16:37:41 [+0200], Axel Dörfler <axeld@xxxxxxxxxxxxxxxx> wrote: > webkit@xxxxxxxxxxxxxxx wrote: > > also hide potentially showing tool tips in that case. > > Now that you mention this: shouldn't this be the default behaviour for > tool tips, anyway? > If there are no complaints, I'll implement that. Yes, sounds reasonable. You could also have a look into fixing the problem that it's unnecessarily hard to change a tool tip later on.