+
+ public String showRegion(Region<Character> rc) {
+ if (cache == null) return null;
+ Cartesian.Region r = (Cartesian.Region)rc;
+ int start = r.getStart().getScalar()+1;
+ int end = r.getEnd().getScalar()+1;
+ if (end > cache.length()) end = cache.length();
+ String ret;
+ if (end-start < 60) ret = cache.substring(start, end);
+ else ret = cache.substring(start, start+25) +
+ "..." +
+ cache.substring(end-25, end);
+ return StringUtil.escapify(ret, "\n\r");
+ }
+