Comment 7 for bug 1486031

Revision history for this message
Seth Hillbrand (sethh) wrote :

I think Michael's approach is correct when starting pleditor. That is, don't load a file by default.