Commit 10850e1c authored by Steffen Michels's avatar Steffen Michels

change formatting of error tooltip

parent 2c482b7a
Pipeline #25371 failed with stage
in 58 seconds
......@@ -559,8 +559,8 @@ where
_ =
Error $
concat
[ "\"", toString (argOf $ typeCodeOfDynamic cons), "\" and \""
, toString (typeCodeOfDynamic nextArg), "\" cannot be unified."
[ "Could not unify\n ", toString (argOf $ typeCodeOfDynamic cons), "\nwith\n "
, toString (typeCodeOfDynamic nextArg)
]
childValueOf :: !(!EditState, !E) -> Maybe Dynamic
......
......@@ -272,7 +272,7 @@ div.itasks-exception {
padding: 8px 10px;
font-size: 12px;
line-height: 12px;
white-space: nowrap;
white-space: pre;
box-shadow: 4px 4px 8px rgba(0, 0, 0, 0.3);
}
*.itasks-viewport [data-tooltip]:before {
......
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