can't edit any file

Bug #992919 reported by Pix
This bug affects 1 person
Affects Status Importance Assigned to Milestone
gnat-gps (Ubuntu)

Bug Description

I recently updated my ubuntu to version 12 and since I can't edit any file in gnat-gps.
I can copy/cut/paste, insert new lines, delete but can't type anything.
it worked very well just before my upgrade.

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.