[ldm]

Thanks for your tip!!! Looked for it for so long time! Now I configured my keyboard shortcuts with the ‘All Configurations’ option. Let’s see… Will update you later whether they are kept or not… Thank you again for your tip!