I have more than a hundred bookmarks sorted in different folders. In order to find them quickly, I use the help menu item with shortcut cmd+shift / (on High Sierra).
My impression is that the number of found menu items is somehow restricted to 10 since not all bookmarks are found and displayed. If this is indeed the case, is there a way to increase the number of found items in the help menu item list? Thanks. Bernd
_______________________________________________ Skim-app-users mailing list Skim-app-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/skim-app-users
