次のエージェントは、ヘッダーの太字フォントスタイルを切り替えます。
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("Categorized");
ViewColumn vc = view.getColumn(2);
vc.setHeaderFontBold(!vc.isHeaderFontBold());
System.out.println("IsHeaderFontBold = " +
vc.isHeaderFontBold());
} catch(Exception e) {
e.printStackTrace();
}
}
}