@(account: gitbucket.core.model.Account, personalTokens: List[gitbucket.core.model.AccessToken], gneratedToken: Option[(gitbucket.core.model.AccessToken, String)])(implicit context: gitbucket.core.controller.Context) @gitbucket.core.html.main("Applications"){ @gitbucket.core.account.html.menu("application", context.loginAccount.get.userName, false){
Personal access tokens
@if(personalTokens.isEmpty && gneratedToken.isEmpty){ No tokens. } else { Tokens you have generated which can be used to access the GitBucket API.
} @gneratedToken.map { case (token, tokenString) =>
Make sure to copy your new personal access token now. You won't be able to see it again!
Delete
@gitbucket.core.helper.html.copy("generated-token", "generated-token-copy", tokenString){ }

} @personalTokens.zipWithIndex.map { case (token, i) => @if(i != 0){
} @token.note Delete }
Generate new token

What is this token for?

} }