From: Michael G. <ga...@ma...> - 2006-01-08 18:47:07
|
Hi all, I think that PGProblemEditor.pm is ready for further testing again. I've checked it into both HEAD and to rel-2-2-dev since I think it is important that it work smoothly for this next release. Davide, I don't think I have access to your version of Options.pm so I while I have included the hooks for options_info files they may not work quite right. Could you upload your version of Options.pm to HEAD? I'd like to see what it does. Bug report #939 describes some of the cleanup efforts that could still be made to PGProblemEditor.pm, but I'm not planning to do that in the near future. It's a pretty complicated module -- I'd be happy to have some other eyes looking at it to see if some of the code can be simplified -- but I don't think this is urgent either. Take care, Mike |