editors/TextViewer.py
changeset 1351 a546a63ce1bf
parent 1347 533741e5075c
child 1406 82db84fe88ea
equal deleted inserted replaced
1350:7280349a3375 1351:a546a63ce1bf