editors/TextViewer.py
changeset 2242 492c1c046c82
parent 2177 10aa87518401
child 2409 00d90ab8a462
equal deleted inserted replaced
2241:e762e234181d 2242:492c1c046c82