On Mon, 23 Feb 2009, Frederic Gedin wrote: > Thank you Gerhard. This answers my question : instead of typing 1-5, I just have > to type also Ctrl. It's fine for me. You may also redefine your keyboard short-cuts or add alternate shortcuts (e.g. I defined the 1-5 in addition to the default CTRL 1-5). Best, Arnd