editors/TextViewer.py
changeset 2380 b35bce45bc5a
parent 2177 10aa87518401
child 2409 00d90ab8a462
equal deleted inserted replaced
2379:015b724c30a5 2380:b35bce45bc5a