Re: [ProofPower] How do you arrange Xpp?

2011-07-27 Thread Rob Arthan
Thanks to Mark and Artur for their feedback. We have one vote each way, so for the time being I won't change this. People like Mark with smallish screens should be aware that the window menu now has a Show/Hide Journal item as well as Show/Hide Script. Even when I using a big screen, I use

Re: [ProofPower] How do you arrange Xpp?

2011-07-27 Thread Phil Clayton
I meant to add that I always use horizontal mode, so that would have got my vote as Mark predicted! A dynamic toggle would be very useful, I think. Phil On 27/07/11 13:37, Rob Arthan wrote: Thanks to Mark and Artur for their feedback. We have one vote each way, so for the time being I won't

Re: [ProofPower] How do you arrange Xpp?

2011-07-22 Thread Artur Oliveira Gomes
Dear Rob, I use the same settings you sent. It would be useful, at least for me, to have these as default. Thank you very much indeed. Best wishes, Artur On 22 July 2011 15:10, Rob Arthan r...@lemma-one.com wrote: I nearly always use Xpp with the following settings in