Hmm. Maybe it’s a Explorer thing. You can slide the pages left and right to 
pick up extra columns on Chrome.

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&amp;data=05%7C01%7CBruce.Palmer%40pnnl.gov%7Ca687e10cb96442eabdd608dac0dd725e%7Cd6faa5f90ae240338c0130048a38deeb%7C0%7C0%7C638034354592315538%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&amp;sdata=wbT8SGAWgY0HLAF58Tn94D9hLT5%2FPgcMCfTX5VEKdjA%3D&amp;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
>
>

Reply via email to