Marco Pesenti Gritti e08ad4baf5 Add some infrastructure for font sizes.		2007-02-15 15:09:38 +01:00
..
data	Set some fonts in gecko to 9 points.	2007-01-22 18:14:58 +01:00
python	Add some infrastructure for font sizes.	2007-02-15 15:09:38 +01:00
src	Add some infrastructure for font sizes.	2007-02-15 15:09:38 +01:00
threadframe	Create a private sugar lib and put our extensions there.	2006-10-12 12:47:17 +02:00
__init__.py	Create a private sugar lib and put our extensions there.	2006-10-12 12:47:17 +02:00
Makefile.am	Read mozilla prefs from a js file	2006-10-25 15:43:37 +02:00