Hi All, is there anyone successfully using the Numbered Bookmarks plugin? I installed it but when I hit "Ctrl + Shift + a Number" then nothing happens. According to the plugin's description a bookmark should be created and a marker should appear at the current text line. Am I doing something wrong? Thanks for any help in advance. Best Regards, Lars