[VOTE] Tool Palette dissapear randomly Report #8500

[Bernard Devlin]

You can also use keyboard shortcuts to switch between the browse and
pointer tools.

ctrl/cmd +9 or ctrl/cmd +0

This is technique I use, and it mostly works.

Bernard

On Sun, Dec 20, 2009 at 10:43 AM, Wilhelm Sanke <sanke at hrz.uni-kassel.de> wrote:
>  As I have found out now, in case the tools stack has been hidden, I could
> also switch to browse tool using the "tools" menu in the menubar, although
> with *two* clicks - and  I also could bring back the tools stack at once
> clicking on the tools menu.