例: HeaderFontPointSize property

次のエージェントは、ヘッダーのポイントサイズを 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.getHeaderFontPointSize() == 14)
        vc.setHeaderFontPointSize(8);
      else
        vc.setHeaderFontPointSize(vc.getHeaderFontPointSize() + 1);
      System.out.println("Header font point size = " +
        vc.getHeaderFontPointSize());
        
    } catch(Exception e) {
      e.printStackTrace();
    }
  }
}