NoRedInk/noredink-ui
1
1
Fork 0
mirror of https://github.com/NoRedInk/noredink-ui.git synced 2024-12-18 19:21:29 +03:00
Code Issues Packages Projects Releases Wiki Activity

Better example headings

Browse Source
This commit is contained in:
Tessa Kelly 2022-03-24 13:44:36 -07:00
parent e03f4dd24f
commit 935d4ca950
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
styleguide-app/Examples/Menu.elm
View File

@ -88,7 +88,7 @@ view state =
[] []
} }
, viewExamples , viewExamples
[ ( "Default example" [ ( "Menu.button"
, Menu.view , Menu.view
(menuAttributes (menuAttributes
++ List.filterMap identity ++ List.filterMap identity
@ -142,7 +142,7 @@ view state =
, button = Menu.button defaultButtonAttributes "1st Period English with Mx. Trainer" , button = Menu.button defaultButtonAttributes "1st Period English with Mx. Trainer"
} }
) )
, ( "Custom example" , ( "Menu.custom"
, Menu.view , Menu.view
(menuAttributes (menuAttributes
++ List.filterMap identity ++ List.filterMap identity