TextViewer.py
changeset 513 fb787f6cbe33
parent 485 d5ebb8eac934
child 523 99ba2e3949ed
equal deleted inserted replaced
512:07a7989f58e4 513:fb787f6cbe33