A music player that connects to your cloud/distributed storage.
Rounded borders on bottom when no results
+15
-1
+15
-1
src/Applications/UI/Alfred/View.elm
+15
-1
src/Applications/UI/Alfred/View.elm
···
3
3
import Alfred exposing (..)
4
4
import Chunky exposing (..)
5
5
import Color exposing (Color)
6
+
import Conditional exposing (ifThenElse)
6
7
import Html exposing (Html, text)
7
8
import Html.Attributes exposing (autofocus, id, placeholder, style, type_)
8
9
import Html.Events exposing (onInput)
···
26
27
in
27
28
case maybeInstance of
28
29
Just instance ->
30
+
let
31
+
hasResults =
32
+
List.sum (List.map (.items >> List.length) instance.results) > 0
33
+
in
29
34
chunk
30
35
[ "inset-0"
31
36
, "flex"
···
102
107
, "tracking-tad-closer"
103
108
, "w-full"
104
109
110
+
--
111
+
, if not hasResults then
112
+
"rounded-b"
113
+
114
+
else
115
+
""
116
+
105
117
-- Dark mode
106
118
------------
107
119
, "dark:bg-darkest-hour"
···
116
128
, brick
117
129
[ id "alfred__results" ]
118
130
[ "bg-white"
119
-
, "border"
120
131
, "border-t-0"
121
132
, "leading-tight"
122
133
, "max-w-xl"
···
129
140
, "smooth-scrolling"
130
141
, "text-nearly-sm"
131
142
, "w-full"
143
+
144
+
--
145
+
, ifThenElse hasResults "border" ""
132
146
133
147
-- Dark mode
134
148
------------