diff servlet2/pom.xml @ 1083:852f390ae053

move found region into view, keep zoom factor if possible
author hertzhaft
date Thu, 18 Oct 2012 18:49:05 +0200
parents d5d113dbcd24
children 0fec3e64e95b
line wrap: on
line diff