Added by Étienne Loks about 5 years ago. Updated about 5 years ago.
0%
Revision 2b9489fb (diff) Added by Étienne Loks about 5 years ago
UI: explicitly remind the current pinned search above the result table (refs #3485)
Perfect!
Also available in: Atom PDF
UI: explicitly remind the current pinned search above the result table (refs #3485)