NoRedInk/noredink-ui
1
1
Fork 0
mirror of https://github.com/NoRedInk/noredink-ui.git synced 2024-12-02 23:52:22 +03:00
Code Issues Packages Projects Releases Wiki Activity

Adds codeDetails field to the private attributes

Browse Source
This commit is contained in:
Tessa Kelly 2021-05-14 14:25:02 -07:00
parent 20ae79d580
commit 1fe177af9d
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Nri/Ui/Message/V3.elm
View File

@ -499,6 +499,7 @@ type alias BannerConfig msg =
{ onDismiss : Maybe msg { onDismiss : Maybe msg
, role : Maybe Role , role : Maybe Role
, content : List (Html msg) , content : List (Html msg)
, codeDetails : Maybe String
, theme : Theme , theme : Theme
, size : Size , size : Size
, icon : Maybe Svg , icon : Maybe Svg
@ -515,6 +516,7 @@ configFromAttributes attr =
{ onDismiss = Nothing { onDismiss = Nothing
, role = Nothing , role = Nothing
, content = [] , content = []
, codeDetails = Nothing
, theme = Tip , theme = Tip
, size = Tiny , size = Tiny
, icon = Nothing , icon = Nothing