-
Notifications
You must be signed in to change notification settings - Fork 463
Description
Hi, I was curious about dune build --watch --display tui when I saw 3.11 is out, but then got confused about its purpose after trying it. What do I gain besides dune build --watch? It seems I cannot do anything more than that. I checked through GitHub issues tagged with tui and became more puzzled. It seems the leading developer of this feature is targeting the integrated terminal inside VS Code (see #8770), and maybe there are plans to tighten the integration with the editor. However, if we are already inside VS Code, wouldn't it be easier to use LSP instead? What's the goal of this new TUI mode within VS Code? I failed to find more information from the changelog and the codebase, and felt I must have missed something here.
PS: There are also some Unicode issues: It assumes ᚛, ―, and ᚜ will always align, but that's not the case in my terminal font (and nothing in the Unicode standard implies they should). It also seems to assume the box drawing characters with "Ambiguous" East Asia width always have the visual width of one cell, which is unfortunately not true, either, and that's why they are "Ambiguous". However, before trying to fix the character choice, I feel it's more important to understand the goal of the TUI mode.