Stephan Assmus <superstippi@xxxxxx> wrote: > 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. It's now going away on key press, but I didn't look into #5669, and probably won't in the next few weeks. Feel free to fix it :-) Bye, Axel.