Re: [petsc-dev] what happened to information about setting -display DISPLAY etc and getting it to work?