Re: [ProofPower] How do you arrange Xpp?

2011-07-22 Thread Mark
I use Xpp in 1-window mode for general text editing, and I also 2-window mode for developing scripts. I want to develop my text with 80-character width, which is the industry standard. Like many, I only have a 1280x800 screen, and so horizontal mode means that the journal window is very squashed

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 wrote: > I nearly always use Xpp with the following settings in > $HOME/app-defaults/Xpp > Xpp*script.r

[ProofPower] How do you arrange Xpp?

2011-07-22 Thread Rob Arthan
I nearly always use Xpp with the following settings in $HOME/app-defaults/Xpp Xpp*script.rows:32 Xpp*script.columns: 60 Xpp*script.background: white Xpp*script.foreground: black Xpp*journal.rows: 32