Verified Commit 84181971 authored by Camil Staps's avatar Camil Staps 🚀

Fix overwriting in tune of Editor (Map.union is left-biased)

parent 9eed4845
Pipeline #29413 passed with stage
in 4 minutes and 34 seconds
......@@ -38,7 +38,7 @@ instance tune UIAttributes Editor
where
tune extra editor=:{Editor|genUI=editorGenUI} = {Editor|editor & genUI = genUI}
where
genUI attr dp mode vst = editorGenUI ('DM'.union attr extra) dp (mapEditMode id mode) vst
genUI attr dp mode vst = editorGenUI ('DM'.union extra attr) dp (mapEditMode id mode) vst
instance tune UIAttribute Task
where
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment