Pedro, could you look at this please, it seems to be a problem when gedit is launched directly from a terminal as well. IIRC there are dups.
Pedro, could you look at this please, it seems to be a problem when gedit is launched directly from a terminal as well. IIRC there are dups.