editors/TextViewer.py
changeset 3593 122b1094b8e6
parent 3319 e6c758e41f82
child 3327 d753cc166bd0
child 3682 c613afdab571
equal deleted inserted replaced
3592:b2bdb8b433e0 3593:122b1094b8e6