フッター(ファンクションキー)の設定方法¶

フッターがF1(実行:継続)F2(F2:取消)F3(F3:終了)F4(F3:終了)以外の場合は設定が必要です。

ケース１　デフォルトのフッターを消す場合¶

デフォルトのフッター設定はsetFooterで設定しています。
上記はツールそのままです
デフォルトのフッターを消す場合はbaseSetFooterBaseを使用せず手動で設定する必要があります
例　F4を削除した例

ケース２　フッターを追加する場合¶

setFunctionButtonMapを使って使用したいファンクションキーの名前を設定しenableをtrueにします
例　F5を追加した例

押したときの処理について¶

押したときの処理はpostSwitchに追加してください
dispごとに処理が異なる場合はpostSwitchの引数のdispを使用してswitchしてください
使わないdispからの処理は
default -> {
// 不正なPOSTエラー
return basePostSwitchError();
}
でエラーにしてください

備考¶

dispごとに処理が異なる場合は引数を追加したりして対応してください