gedit

  1. Bug #1516713
  2. Comment #9

Comment 9 for bug 1516713

Revision history for this message
Silvio Bierman (sbierman) wrote :

Btw, this was with a 9px font setting. Most of my colleagues use 8px and some have 7px but I am the senior so that is out of my league :(