chshersh/github-tui
1
1
Fork 0
mirror of https://github.com/chshersh/github-tui.git synced 2024-07-07 06:46:23 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add superscript numbers to tabs

Browse Source
This commit is contained in:
Dmitrii Kovanikov 2024-06-24 19:35:14 +01:00
parent 3e8b21dcec
commit d02069c8d6
3 changed files with 9 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
dune-project
View File

@ -25,7 +25,6 @@
(minttea (>= "0.0.2"))
shape-the-term
(terminal_size (>= "0.2.0"))
unix
)
(tags
(tui cli git github)))

1
github_tui.opam
View File

@ -17,7 +17,6 @@ depends: [
"minttea" {>= "0.0.2"}
"shape-the-term"
"terminal_size" {>= "0.2.0"}
"unix"
"odoc" {with-doc}
]
build: [

18
lib/tui/widget.ml
View File

@ -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 =