Ubuntu
gphpedit package

  1. Bug #74501
  2. Comment #2

Comment 2 for bug 74501

Revision history for this message
ville palo (vi64pa) wrote :

Thanks for the bug.

Does this happen even if you just wait few minutes without writing any php code? Did you use php/html/xml mode or some other?