Jürgen Spitzmüller Mon, 30 Apr 2007 01:12:46 -0700
Stefan Schimanski wrote: > But as a dock widget there is not > much difference for the user to a toolbar button...
I think I agree (but then we'll need good shortcuts, as Abdel already noted). Jürgen
