next_workspace and F20

[Felix Roeser]

Hi,

> I vagyely remember something like that. They
> 
> next_workspace_key=+F20
> prev_workspace_key=+F19

Works great :) Thanks alot

Bye
Felix