Andrey Golovizin 9c8de1ce0f Make GlyphDB store GlyphData objects instead of just text.		2014-09-01 17:15:21 +02:00
..
__init__.py	Add --skip option.	2014-08-28 13:05:56 +02:00
glyphdbedit.py	Make GlyphDB store GlyphData objects instead of just text.	2014-09-01 17:15:21 +02:00
glyphedit.py	Rename Letter to Glyph.	2014-08-18 15:44:36 +02:00
ocrengine.py	Make GlyphDB store GlyphData objects instead of just text.	2014-09-01 17:15:21 +02:00
pageview.py	Make GlyphDB store GlyphData objects instead of just text.	2014-09-01 17:15:21 +02:00
window.py	Disable GlyphEdit when not waiting for a new glyph.	2014-08-26 23:05:21 +02:00