diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-02T14·15+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-02T14·15+0100 |
| commit | fe609bbe5804be229a7e5c0d276654fb3e45179b (patch) | |
| tree | e939713105443914e045974c89e8f3cdf0c3294c /client/src/User.elm | |
| parent | 81c3db20d4775a115f148ed64c5bc1e54c5a3b65 (diff) | |
Support CRUDing records on Admin page
TL;DR: - Prefer the more precise verbiage, "Accounts", to "Users" - Add username field to Trip instead of relying on session.username - Ensure that decodeRole can JD.fail for invalid inputs
Diffstat (limited to 'client/src/User.elm')
| -rw-r--r-- | client/src/User.elm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/client/src/User.elm b/client/src/User.elm index 660c3aa7dce0..0c87e85bf98b 100644 --- a/client/src/User.elm +++ b/client/src/User.elm @@ -89,7 +89,7 @@ renderTrip trip = , UI.wrapNoPrint (UI.textButton { label = "Delete" - , handleClick = State.AttemptDeleteTrip trip.destination trip.startDate + , handleClick = State.AttemptDeleteTrip trip } ) ] |