editors/TextViewer.py
changeset 2290 52afa2dec4fb
parent 2177 10aa87518401
child 2409 00d90ab8a462
equal deleted inserted replaced
2289:cf0934b42d66 2290:52afa2dec4fb