jEdit GUI suddenly dis-proportional?!
Submitted by Tuesday, 18 January, 2005 - 14:13
on
All of a sudden the jEdit GUI under linux looks broken - fonts does not fit their boxes (some lists are undreadable because fonts are too big, others have too much space around them).
What can have happened? I don't remember doing anyting special except maybe messing around a bit with XF86Config ?
What can have happened? I don't remember doing anyting special except maybe messing around a bit with XF86Config ?