次のエージェントは、フォントサイズを 8 から 14 の間で切り替えます。
import lotus.domino.*;
public class JavaAgent extends AgentBase {
public void NotesMain() {
try {
Session session = getSession();
AgentContext agentContext = session.getAgentContext();
// (Your code goes here)
Database db = agentContext.getCurrentDatabase();
View view = db.getView("By category");
ViewColumn vc = view.getColumn(1);
if (vc.getFontPointSize() == 14)
vc.setFontPointSize(8);
else
vc.setFontPointSize(vc.getFontPointSize() + 1);
System.out.println("Font point size = " + vc.getFontPointSize());
} catch(Exception e) {
e.printStackTrace();
}
}
}