Token token;
for (int i = 0; i < history.size(); i++) {
token = history.get(i);
shared.psStd.println("#" + (i + oldestHist) + " or "
+ (i - history.size()) + ':');
shared.psStd.println(token.reconstitute());
}
if (buffer != null) {
shared.psStd.println(SqltoolRB.editbuffer_contents.getString(
buffer.reconstitute()));
}