Andrey Golovizin 5babd24450 Save glyph database on exit, load on startup.		2014-08-21 21:19:57 +02:00
..
__init__.py	Save glyph database on exit, load on startup.	2014-08-21 21:19:57 +02:00
glyphedit.py	Rename Letter to Glyph.	2014-08-18 15:44:36 +02:00
ocrengine.py	Save glyph database on exit, load on startup.	2014-08-21 21:19:57 +02:00
pageview.py	Scroll to highlighted glyphs.	2014-08-18 17:52:39 +02:00
window.py	Do not center on new pages (preserve current position instead).	2014-08-18 17:48:13 +02:00