NOW SOLVED: I simply use Mozilla Firefox's search (or find) field using the key combination Ctrl-f.
http://www.site-helper.com/filemanager.html#edit doesn't tell me how to search through a file (e.g. .../sites/default/settings.php) for a given text string. An example of a string I would like to be able to search for is 'mysql://' (quotes omitted).
I see no obvious search icon, nor menu and the standard search key combination ctrl-f doesn't work. (But ctrl-f does work. It activates Mozilla Firefox's search field near the bottom left hand edge of the browser)
http://www.site-helper.com/filemanager.html#edit doesn't tell me how to search through a file (e.g. .../sites/default/settings.php) for a given text string. An example of a string I would like to be able to search for is 'mysql://' (quotes omitted).
I see no obvious search icon, nor menu and the standard search key combination ctrl-f doesn't work. (But ctrl-f does work. It activates Mozilla Firefox's search field near the bottom left hand edge of the browser)