I wouldn’t know.You should realize that the menu search function is a system service, not one implemented by us.
Christiaan > On 26 Apr 2022, at 07:50, my gmail <[email protected]> wrote: > > 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 [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
