|
__init__.py
|
Plug glyph db editor into the main menu.
|
2014-08-25 13:12:36 +02:00 |
|
glyphdbedit.py
|
Rename glypheditor to glyphdbedit.
|
2014-08-25 16:25:00 +02:00 |
|
glyphedit.py
|
Rename Letter to Glyph.
|
2014-08-18 15:44:36 +02:00 |
|
ocrengine.py
|
Show filename in window title.
|
2014-08-25 13:57:49 +02:00 |
|
pageview.py
|
Show baselines in GUI.
|
2014-08-25 16:21:08 +02:00 |
|
window.py
|
Rename glypheditor to glyphdbedit.
|
2014-08-25 16:25:00 +02:00 |
