format button only when there is a JSON element.

This commit is contained in:
fiatjaf 2023-03-24 22:14:45 -03:00
parent 8961eddc43
commit 4d23a4c6af
No known key found for this signature in database
GPG Key ID: BAD43C4BE5C1A3A1

View File

@ -35,6 +35,8 @@ object Main extends IOWebApp {
def actions(store: Store): Resource[IO, HtmlDivElement[IO]] = def actions(store: Store): Resource[IO, HtmlDivElement[IO]] =
div( div(
cls := "flex flex-col space-y-1 my-3", cls := "flex flex-col space-y-1 my-3",
store.result.map {
case Right(_: Event) =>
button( button(
Styles.button, Styles.button,
"format", "format",
@ -45,7 +47,9 @@ object Main extends IOWebApp {
.getOrElse(original) .getOrElse(original)
) )
)) ))
), )
case _ => div("")
},
button( button(
Styles.button, Styles.button,
"generate event", "generate event",