A music player that connects to your cloud/distributed storage.
Improve notification interaction
+16
-5
+16
-5
src/Applications/UI/Notifications.elm
+16
-5
src/Applications/UI/Notifications.elm
···
5
5
import Css.Classes as C
6
6
import Css.Global
7
7
import Html exposing (Html)
8
-
import Html.Ext exposing (onDoubleTap)
8
+
import Html.Ext exposing (onDoubleTap, onTap)
9
9
import Html.Styled exposing (text)
10
10
import Html.Styled.Attributes exposing (css, fromUnstyled, rel)
11
11
import Html.Styled.Lazy
···
117
117
DismissNotification { id = id }
118
118
in
119
119
brick
120
-
[ fromUnstyled (onDoubleTap dismissMsg)
120
+
[ if options.sticky then
121
+
fromUnstyled (onDoubleTap dismissMsg)
122
+
123
+
else
124
+
fromUnstyled (onTap dismissMsg)
121
125
122
126
--
123
127
, rel (String.fromInt id)
···
127
131
, C.p_4
128
132
, C.rounded
129
133
, C.text_white_90
134
+
135
+
--
136
+
, if options.sticky then
137
+
""
138
+
139
+
else
140
+
C.cursor_pointer ++ " " ++ C.select_none
130
141
131
142
--
132
143
, case kind of
···
160
171
--
161
172
, if options.sticky && kind /= Warning then
162
173
chunk
163
-
[ C.select_none
164
-
, C.text_xs
174
+
[ C.cursor_pointer
165
175
, C.italic
166
176
, C.mt_2
167
177
, C.opacity_60
168
-
, C.cursor_pointer
178
+
, C.select_none
179
+
, C.text_xs
169
180
]
170
181
[ text "Double click to dismiss" ]
171
182