editors/TextViewer.py
changeset 2264 cbdac78eb93c
parent 2177 10aa87518401
child 2409 00d90ab8a462
equal deleted inserted replaced
2263:5227f54f6369 2264:cbdac78eb93c