1010import  matplotlib .font_manager  as  fm 
1111import  matplotlib 
1212
13- prop  =  fm .FontProperties (fname = 'Humor-Sans.ttf' , size = 16 )
13+ prop  =  fm .FontProperties (fname = 'Humor-Sans.ttf' , size = 18 )
1414
1515def  annotate (text , pos , to ):
1616  plt .annotate (text , xy = to , arrowprops = dict (arrowstyle = '->' ), xytext = pos ,
@@ -35,7 +35,7 @@ def defaults2(title, loc='upper right', filename=None):
3535  plt .xlabel ('time' , fontproperties = prop )
3636  if  not  filename :
3737    filename  =  title .lower ()
38-   plt .savefig (filename .lower () +  '.png' )
38+   plt .savefig (filename .lower () +  '.png' ,  dpi = 75 )
3939  plt .clf ()
4040
4141def  javascript ():
@@ -132,13 +132,13 @@ def cpp():
132132def  haskell ():
133133  defaults1 ()
134134
135-   annotate ('My brain hurts!' , (3 , 20 ), (2 , 8 ))
136-   annotate ('My brain hurts!' , (3 , 20 ), (6 , 8 ))
137-   annotate ('My brain hurts!' , (3 , 20 ), (10 , 8 ))
138-   annotate ('My brain hurts!' , (3 , 20 ), (14 , 8 ))
139-   annotate ('My brain hurts!' , (3 , 20 ), (18 , 8 ))
140-   annotate ('My brain hurts!' , (3 , 20 ), (22 , 8 ))
141-   annotate ('My brain hurts!' , (3 , 20 ), (26 , 8 ))
135+   annotate ('My brain hurts!' , (1 , 20 ), (2 , 8 ))
136+   annotate ('My brain hurts!' , (1 , 20 ), (6 , 8 ))
137+   annotate ('My brain hurts!' , (1 , 20 ), (10 , 8 ))
138+   annotate ('My brain hurts!' , (1 , 20 ), (14 , 8 ))
139+   annotate ('My brain hurts!' , (1 , 20 ), (18 , 8 ))
140+   annotate ('My brain hurts!' , (1 , 20 ), (22 , 8 ))
141+   annotate ('My brain hurts!' , (1 , 20 ), (26 , 8 ))
142142
143143  annotate ('Monads' , (25 , 40 ), (40 , 20 ))
144144  annotate ('Monads' , (25 , 40 ), (40 , 30 ))
0 commit comments