86       DocString menu = new DocString();  in render()  local
87       menu.appendFormat("(%d of %d elements shown - ", mLimit, all);  in render()
90         menu.appendLink(mQuery.with(mId, 0), DocString.text("show none"));  in render()
91         menu.append(" - ");  in render()
92         menu.appendLink(mQuery.with(mId, less), DocString.text("show less"));  in render()
93         menu.append(" - ");  in render()
95         menu.append("show none - show less - ");  in render()
99         menu.appendLink(mQuery.with(mId, more), DocString.text("show more"));  in render()
100         menu.append(" - ");  in render()
101         menu.appendLink(mQuery.with(mId, all), DocString.text("show all"));  in render()
102         menu.append(")");  in render()
104         menu.append("show more - show all)");  in render()
106       doc.println(menu);  in render()