Marco Pesenti Gritti
							
						 
					 | 
					
						
						
						
						
							
						
						
							01056ee823
							
						
					 | 
					
						
						
							
							Handle abw files
						
						
						
						
						
					 | 
					
						2007-03-22 18:22:37 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Marco Pesenti Gritti
							
						 
					 | 
					
						
						
						
						
							
						
						
							1f61c5f65e
							
						
					 | 
					
						
						
							
							Hook up etoys projects
						
						
						
						
						
					 | 
					
						2007-03-22 15:34:05 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tomeu Vizoso
							
						 
					 | 
					
						
						
						
						
							
						
						
							e3d6245e18
							
						
					 | 
					
						
						
							
							Let pango/fontconfig to choose the concrete font.
						
						
						
						
						
					 | 
					
						2007-03-21 17:03:44 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Marco Pesenti Gritti
							
						 
					 | 
					
						
						
						
						
							
						
						
							5eb4f4fab3
							
						
					 | 
					
						
						
							
							Tweak dpi and font size
						
						
						
						
						
					 | 
					
						2007-03-20 22:24:52 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Tomeu Vizoso
							
						 
					 | 
					
						
						
						
						
							
						
						
							0d4e7cdb0a
							
						
					 | 
					
						
						
							
							Set some fonts in gecko to 9 points.
						
						
						
						
						
					 | 
					
						2007-01-22 18:14:58 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Marco Pesenti Gritti
							
						 
					 | 
					
						
						
						
						
							
						
						
							60fd7fb810
							
						
					 | 
					
						
						
							
							Add families for arabic fonts
						
						
						
						
						
					 | 
					
						2006-10-26 12:18:03 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Marco Pesenti Gritti
							
						 
					 | 
					
						
						
						
						
							
						
						
							22cecec21e
							
						
					 | 
					
						
						
							
							Add some comments, add some prefs from epiphany configuration
						
						
						
						
						
					 | 
					
						2006-10-25 22:40:57 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Marco Pesenti Gritti
							
						 
					 | 
					
						
						
						
						
							
						
						
							ec6272ff47
							
						
					 | 
					
						
						
							
							Change the font size unit to points, so that we actually
						
						
						
						
						
						
						
						adapt to resolution. Default size are converted from mozilla
pixel based sizes. 
						
					 | 
					
						2006-10-25 16:22:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Marco Pesenti Gritti
							
						 
					 | 
					
						
						
						
						
							
						
						
							581a3a0cb4
							
						
					 | 
					
						
						
							
							Read mozilla prefs from a js file
						
						
						
						
						
					 | 
					
						2006-10-25 15:43:37 +02:00 | 
					
					
						
						
							
							
							
						
					 |