Has anyone had a similar issue with the newest version of ProofPower? I
appear to be running 2.9.1w2 and have never experienced this problem. I am
able to get the palette and template tools to open through Xpp.
On Tue, Jan 15, 2013 at 4:42 PM, Jon Lockhart <jal...@bucknell.edu> wrote:
> Is 2.9.1w2 the latest release of ProofPower on the git hub?
> On Tue, Jan 15, 2013 at 4:39 PM, Roger Bishop Jones <r...@rbjones.com>wrote:
>> On Tuesday 15 Jan 2013 09:27:06 Roger Bishop Jones wrote:
>> > On Tuesday 15 Jan 2013 07:43:30 Phil Clayton wrote:
>> > > When you select Tools->Templates, do you see the templates dialog box
>> > > (with very small buttons) or does nothing happen? (The first is a
>> > > issue that is easily worked around.)
>> > I havn't used the templates for a long time, but I see now that I don't
>> > them either (in 2.9.1w5).
>> > I have unhashed the template include line in Xpp but the Tools menu in
>> > still has Templates greyed out.
>> On further investigation I do get the templates if I use an Xpp file in
>> the include for the templates is omitted (hashed), but if I use an include
>> even with a full pathname it doesn't seem to pick up the template file.
>> This applies also to the XppKeyboard file as well, I can't get the
>> include to
>> work, but if the include is omitted the behaviour corresponds to the
>> XppKeyboard file (so far as I can see).
>> Roger Jones
>> Proofpower mailing list
Proofpower mailing list