Change sidebar title to "Packages" when grouping modules by package name (#39)
commit5fa7580d755fe4daf74b5e2a3a61c71b4defb383
authorklntsky <klntsky@gmail.com>
dateFri 31 Jul 2020, 11:53 (6 years ago)
parent817f09f
src/Docs/Search/App/Sidebar.purs+1−1
@@ -114,7 +114,7 @@ render { moduleIndex, groupingMode, moduleNames, isIndexHTML } =
114114 ]
115115 ]
116116
117− [ HH.h3_ [ HH.text "Modules" ]
117+ [ HH.h3_ [ HH.text $ if groupingMode == DontGroup then "Modules" else "Packages" ]
118118 , HH.input [ HP.id_ "group-modules__input"
119119 , HP.type_ HP.InputCheckbox
120120 , HP.checked (groupingMode == GroupByPackage)