Append enter to the end of all compose sequences

Changes

1 changed files (+2/-1)

• Compose.lean
  • @@ -17,6 +17,7 @@ def main := do
    if s.contains '$' then pure () else - IO.println s!"<Multi_key> <backslash> <{abbr.1.toList.map (keysym.get! ·) |> "> <".intercalate}> : \"{s.replace "\\" "\\\\"}\"" + -- XCompose doesn't like sequences to be prefixes of other sequences, so append enter to the end + IO.println s!"<Multi_key> <{abbr.1.toList.map (keysym.get! ·) |> "> <".intercalate}> <Return> : \"{s.replace "\\" "\\\\"}\"" | _ => pure () | _ => IO.println "parse failure"