On 650, the Terminal activity doesn't have enough padding
on the left side; this makes capital Hs, numbers, and so
on lose some of their pixels when they're printed flush
to the side.
With the lovely newsham's help, we tracked down how to fix
this in the delightfully minimal Terminal activity. His
fairly lengthy fix was actually doable in a single line,
as shown in the patch below.
I suspect the time for update.1 has passed, but if not,
this would be a pretty painless fix to put in.
Also, hello to all of you that don't know me from my
recent blather on IRC! I'm excited about the XO and the
OLPC movement, and I hope to be contributing to the best
of my abilities for the indeterminate future. :)
Phil
--- terminal.py 2007-12-22 17:53:33.444044510 -0600
+++ terminal.py.fixed 2007-12-22 17:53:33.414049086 -0600
@@ -64,7 +64,7 @@
scrollbar = gtk.VScrollbar(vte.get_adjustment())
scrollbar.show()
- self.pack_start(vte)
+ self.pack_start(vte, padding=8)
self.pack_start(scrollbar, False, False, 0)
class VTE(vte.Terminal):
_______________________________________________
Devel mailing list
[email protected]
http://lists.laptop.org/listinfo/devel
