b
Open file from Search results box.
GNOME Documentation Project
gnome-doc-list@gnome.org
Open a found file
To open a file from the Search results box, double-click on the file name.
To open the folder containing a found file:
Right-click on the file name.
Select Open Folder.