My bad for not noticing the magnifying glass in the corner. If you just click on the link single index of all PETSc man pages though and then scroll to the Ps, there is no indication of any extra columns and no horizontal slider bar either. Might be good to put one in.
Bruce From: Satish Balay <ba...@mcs.anl.gov> Date: Monday, November 7, 2022 at 8:30 AM To: Palmer, Bruce J <bruce.pal...@pnnl.gov> Cc: 'petsc-users@mcs.anl.gov' <petsc-users@mcs.anl.gov> Subject: Re: [petsc-users] Petsc Documentation I see the search option on the top right of https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpetsc.org%2Frelease%2F&data=05%7C01%7CBruce.Palmer%40pnnl.gov%7Ca687e10cb96442eabdd608dac0dd725e%7Cd6faa5f90ae240338c0130048a38deeb%7C0%7C0%7C638034354592315538%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=wbT8SGAWgY0HLAF58Tn94D9hLT5%2FPgcMCfTX5VEKdjA%3D&reserved=0 [and says ctrl-k is the key binding] Also google search usually gets to the man page. And on the 'single index' page - looks like the visible width is small [compared to whats there] - Ctrl-F is able to find PetscPrintf Satish On Mon, 7 Nov 2022, Palmer, Bruce J via petsc-users wrote: > Hi, > > The new Petsc documentation pages don't seem to have a search function. Would > it be possible to add one? I was looking around for the documentation on > PetscPrintf and couldn't find it, even on the single index of all petsc man > pages. > > Bruce Palmer > Computer Scientist > Pacific Northwest National Laboratory > (509) 375-3899 > >
