Re: [patch] bug 3508: add tooltip for "insert table" widget

[Jürgen Spitzmüller]

Uwe Stöhr wrote:
> Works here as expected, so yes, put it in.

Since it's trivial, I've done that.

Jürgen