diff --git a/dune-project b/dune-project index 51be013..8c748b6 100644 --- a/dune-project +++ b/dune-project @@ -25,7 +25,6 @@ (minttea (>= "0.0.2")) shape-the-term (terminal_size (>= "0.2.0")) - unix ) (tags (tui cli git github))) diff --git a/github_tui.opam b/github_tui.opam index 8b7c704..6bbe069 100644 --- a/github_tui.opam +++ b/github_tui.opam @@ -17,7 +17,6 @@ depends: [ "minttea" {>= "0.0.2"} "shape-the-term" "terminal_size" {>= "0.2.0"} - "unix" "odoc" {with-doc} ] build: [ diff --git a/lib/tui/widget.ml b/lib/tui/widget.ml index 2dc42d7..3a1a1e7 100644 --- a/lib/tui/widget.ml +++ b/lib/tui/widget.ml @@ -22,23 +22,23 @@ let tab_doc ~is_selected tab_lines = let code_tab ~is_selected = tab_doc ~is_selected - [ "╭──────╮"; - "│ Code │"; - "└──────┴"; + [ "╭───────╮"; + "│ Code¹ │"; + "└───────┴"; ] [@@ocamlformat "disable"] let issues_tab ~is_selected = tab_doc ~is_selected - [ "╭────────╮"; - "│ Issues │"; - "┴────────┴"; + [ "╭─────────╮"; + "│ Issues² │"; + "┴─────────┴"; ] [@@ocamlformat "disable"] let pull_requests_tab ~is_selected = tab_doc ~is_selected - [ "╭───────────────╮"; - "│ Pull Requests │"; - "┴───────────────┴"; + [ "╭────────────────╮"; + "│ Pull Requests³ │"; + "┴────────────────┴"; ] [@@ocamlformat "disable"] let scroll ~lines ~span ~offset =