#6323 LOW Never A: Pippy's terminal and code editor font sizes are too big

[Zarro Boogs per Child]

#6323: Pippy's terminal and code editor font sizes are too big
----------------------------+-----------------------------------------------
 Reporter:  JeremyVisser    |       Owner:  cjb           
     Type:  defect          |      Status:  new           
 Priority:  low             |   Milestone:  Never Assigned
Component:  pippy-activity  |     Version:                
 Keywords:                  |    Verified:  0             
 Blocking:                  |   Blockedby:                
----------------------------+-----------------------------------------------
 For gtksourceview and the terminal in Pippy, the font styles applied for
 those components are "Monospace 10". Given the high DPI of the XO screen,
 this is about Monospace 14 on a normal monitor.

 This font size isn't seen anywhere else in the Sugar UI. Changing the two
 occurances of "Monospace 10" to "Monospace 8" in {{{pippy_app.py}}} fixes
 this to be a more consistent font size.

 Using build 690.

-- 
Ticket URL: <http://dev.laptop.org/ticket/6323>
One Laptop Per Child <http://dev.laptop.org>
OLPC bug tracking system