editors/TextViewer.py
changeset 2283 f7132d89fbc0
parent 2177 10aa87518401
child 2409 00d90ab8a462
equal deleted inserted replaced
2282:73f95ba6d3af 2283:f7132d89fbc0