unisonweb/unison

Problem rendering unicode (and emojis) in UCM

Open

#4,200 opened on Jul 14, 2023

View on GitHub
 (9 comments) (0 reactions) (0 assignees)Haskell (6,624 stars) (304 forks)batch import
help wanted

Description

UCM version: ucm version: release/M5b (built on 2023-07-13) OS: Ubuntu 23.04 Shell: Zsh Terminal: gnome-terminal or Kitty Unison installation: Nix flakes

The issue has been discussed and tested a little on Slack, this is the reference: https://unisonlanguage.slack.com/archives/CLUNF0J5S/p1689285260929389

It happens on Linux, both Zsh and Bash. 2 terminals has been tried with same result: gnome-terminal and Kitty.

  • The UCM upgrade process shows emojis ✅
  • The UCM shell do not ❌ (except for errors, see more coments below)

(See the Slack thread for details and more screenshots)

image

Contributor guide

Tech stack
None
Domain
clideveloper experience
Issue type
bug
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
needs maintainer response
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
mostly clear
Prerequisites
Terminal emulation knowledgeUnison codebase structureHaskell basics
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
25
Research direction
Investigate how UCM handles terminal output and renders Unicode characters. Look at the relevant source files for console output (e.g., the UCM terminal module). Check the Slack thread mentioned for additional details and potential root causes. Consider testing with different terminals and configurations to isolate the issue. Examine how other terminal applications handle similar Unicode rendering problems.