editors/TextViewer.py
changeset 2322 7ce4e5cf6339
parent 2177 10aa87518401
child 2409 00d90ab8a462
equal deleted inserted replaced
2321:0a3103cd825d 2322:7ce4e5cf6339