Rob, I have run into something interesting. None of the buttons work in the window, just as File, Edit, etc, nor do the buttons for closing, maximizing the window, etc., but I am able to move the window around no problem. I have moved the window everywhere, there is no other window around, so that rules out that. I also looked at the process id list to see if there was anything besides the one xpp, and there is not, so there is just the one running.
I will try and get this gdb installed on my Debian imaged and get back to you. Thanks, Jon On Mon, Aug 20, 2012 at 1:01 PM, Rob Arthan <r...@lemma-one.com> wrote: > Jon, > > On 19 Aug 2012, at 20:51, Jon Lockhart wrote: > > > Roger, > > > > > Yes, the xpp interface locks. The command executes and then I can't > access any of the taps in the journal window, the ML command line will not > close, nor can I use the palette I have open either. > > My first guess is that a dialogue window that has popped up but is hidden > behind one of the other windows. Are you able to slide the windows around > to look for such a thing? If this is the case, then please let me know what > Linux distribution and desktop you are using and I will try to find out why > the window manager isn't getting the stacking ordering right. > > If that isn't the problem, then we need to find where xpp is hanging. To > do this, first install gdb if you don't already have it. Then reproduce the > problem and find out the process id for the xpp process and do: > > gdb <ProofPower Installation Directory>/bin/xpp <process id> > > and then when gdb gives you its prompt, type "where". > > Regards, > > Rob. > > > >
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
