editors/TextViewer.py
changeset 2256 5927710b5610
parent 2177 10aa87518401
child 2409 00d90ab8a462
equal deleted inserted replaced
2255:f6a0508fa473 2256:5927710b5610