Fabian Jakobs 9fad3c4eb8 we need more precision when measuring the character width ... fixes https://github.com/ajaxorg/editor/issues/issue/8		2010-12-15 12:35:17 +01:00
..
ace	we need more precision when measuring the character width	2010-12-15 12:35:17 +01:00