Andrey Golovizin 7fab8328df Increase minimum line height.		2014-08-26 20:27:50 +02:00
..
__init__.py	Plug glyph db editor into the main menu.	2014-08-25 13:12:36 +02:00
glyphdbedit.py	Display glyph elevation in glyph DB editor.	2014-08-25 16:29:31 +02:00
glyphedit.py	Rename Letter to Glyph.	2014-08-18 15:44:36 +02:00
ocrengine.py	Increase minimum line height.	2014-08-26 20:27:50 +02:00
pageview.py	Ensure the top-left corner is visible when displaying a new page.	2014-08-26 18:24:07 +02:00
window.py	Rename glypheditor to glyphdbedit.	2014-08-25 16:25:00 +02:00