add mentions

src/api.v

···
 	return ctx.redirect('/me')
 }
 
+@['/api/user/get_name']
+fn (mut app App) api_user_get_name(mut ctx Context, username string) veb.Result {
+	user := app.get_user_by_name(username) or {
+		return ctx.server_error('no such user')
+	}
+	return ctx.text(user.get_name())
+}
+
 ////// Posts //////
 
 @['/api/post/new_post'; post]

src/static/js/post.js

···
 	var body = element.innerText
 	const matches = body.matchAll(new RegExp(mention_pattern, 'g'))
 	for (const match of matches) {
-		console.log('found match: ' + match)
-		const username = match[0].substring(1)
-		element.innerHTML = element.innerHTML.replaceAll(username, '<a href="/user/' + username + '">' + username + '</a>')
+		(await fetch('/api/user/get_name?username=' + match[0].substring(2, match[0].length - 1))).text().then(s => {
+			element.innerHTML = element.innerHTML.replace(match[0], '<a href="/user/' + match[0].substring(2, match[0].length - 1) + '">' + s + '</a>')
+		})
 	}
 }

src/static/themes/hackerman.css

···
 	--bg: black;
 	--accent-bg: black;
 	--text: green;
-	--text-light: light-green;
+	--text-light: lime;
 	--accent: green;
-	--accent-hover: light-green
+	--accent-hover: lime;
 	--accent-text: black;
 	--code: green;
 	--preformatted: green;

src/templates/components/post.html

···
-<div class="post post-full" onload="render_post_body(@{post.id}, '@@@{app.config.user.username_pattern}')">
-	<h2><a href="/user/@{(app.get_user_by_id(post.author_id) or { app.get_unknown_user() }).username}"><strong>@{(app.get_user_by_id(post.author_id) or { app.get_unknown_user() }).get_name()}</strong></a> - @post.title</h2>
-	<pre id="post-@{post.id}">@post.body</pre>
-	<p><em>likes: @{app.get_net_likes_for_post(post.id)}</em></p>
-	<p><em>posted at: @post.posted_at</em></p>
-
-	@if ctx.is_logged_in()
-	<br>
-	<div>
-		<button onclick="like(@post.id)">
-			@if app.does_user_like_post(user.id, post.id)
-			liked :D
-			@else
-			like
-			@end
-		</button>
-		<button onclick="dislike(@post.id)">
-			@if app.does_user_dislike_post(user.id, post.id)
-			disliked D:
-			@else
-			dislike
-			@end
-		</button>
-	</div>
-	@end
-
-	@if (ctx.is_logged_in() && user.admin) || (ctx.is_logged_in() && post.author_id == user.id)
-	<hr>
-	@if user.admin
-	<h4>admin powers:</h4>
-	@else if post.author_id == user.id
-	<h4>manage post:</h4>
-	@end
-	<form action="/api/post/delete" method="post">
-		<input
-			type="number"
-			name="id"
-			id="id"
-			placeholder="post id"
-			value="@post.id"
-			required
-			readonly
-			hidden
-			aria-hidden
-		>
-		<input type="submit" value="delete">
-	</form>
-	@end
-</div>

src/templates/post.html

···
 @include 'partial/header.html'
+
 <script src="/static/js/post.js"></script>
-<br>
-@include 'components/post.html'
+
+<div class="post post-full">
+	<h2><a href="/user/@{(app.get_user_by_id(post.author_id) or { app.get_unknown_user() }).username}"><strong>@{(app.get_user_by_id(post.author_id) or { app.get_unknown_user() }).get_name()}</strong></a> - @post.title</h2>
+	<pre id="post-@{post.id}">@post.body</pre>
+	<p><em>likes: @{app.get_net_likes_for_post(post.id)}</em></p>
+	<p><em>posted at: @post.posted_at</em></p>
+
+	@if ctx.is_logged_in()
+	<br>
+	<div>
+		<button onclick="like(@post.id)">
+			@if app.does_user_like_post(user.id, post.id)
+			liked :D
+			@else
+			like
+			@end
+		</button>
+		<button onclick="dislike(@post.id)">
+			@if app.does_user_dislike_post(user.id, post.id)
+			disliked D:
+			@else
+			dislike
+			@end
+		</button>
+	</div>
+	@end
+
+	@if (ctx.is_logged_in() && user.admin) || (ctx.is_logged_in() && post.author_id == user.id)
+	<hr>
+	@if user.admin
+	<h4>admin powers:</h4>
+	@else if post.author_id == user.id
+	<h4>manage post:</h4>
+	@end
+	<form action="/api/post/delete" method="post">
+		<input
+			type="number"
+			name="id"
+			id="id"
+			placeholder="post id"
+			value="@post.id"
+			required
+			readonly
+			hidden
+			aria-hidden
+		>
+		<input type="submit" value="delete">
+	</form>
+	@end
+</div>
+
+<script type="module">
+	await render_post_body(@{post.id}, '@@\\(@{app.config.user.username_pattern}\\)')
+</script>
+
 @include 'partial/footer.html'