I am looking for a way to search, and search and replace both text and code. I did not find it in the menus. According to this web page:
http://docs.pinegrow.com/find-and-replace-in-edit-code/
This is Ctrl-F. But when I do this nothing happens, and I made very sure the PineGrow window had focus.
Where is there a comprehensive list of all Pinegrow shortcuts?
A shortcut should be a way to do faster what can be done in menus, and the menu text should show the shortcut. That should be true for every shortcut. I looked for and did not find the find and replace function in the menus.
Pinegrow version: 3.03 .
OS: Ubuntu 16.04