chshersh/github-tui
1
1
Fork 0
mirror of https://github.com/chshersh/github-tui.git synced 2024-10-05 14:57:53 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

Move debug info into the about window

Browse Source
This commit is contained in:
Dmitrii Kovanikov 2024-06-22 12:01:11 +01:00
parent 26dff75139
commit 8551b60cbe
2 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
lib/tui/view.ml
View File

@ -2,10 +2,6 @@ let style_repo = ANSITerminal.[ Bold; blue ]
let style_selected = ANSITerminal.[ Bold; green ]
let style_directory = ANSITerminal.[ Bold; magenta ]
let debug_section (model : Model.t) =
let debug_info = Printf.sprintf "%dw x %dh" model.width model.height in
Pretty.str debug_info
let tabs_section cur_tab =
let open Pretty in
let sep = vertical [ str " "; str " "; str "─" ] in
@ -31,16 +27,17 @@ let tab_content_section (model : Model.t) =
| Code -> code_section model.code_tab
| Issues | PullRequests -> Pretty.str ""
in
Pretty.(horizontal [ tab_doc; horizontal_fill; Widget.about_doc ])
tab_doc
let to_doc (model : Model.t) =
let open Pretty in
let empty = str "" in
let debug = debug_section model in
let about = Widget.about_doc model in
let repo = fmt style_repo model.repo in
let tabs = tabs_section model.current_tab in
let content = tab_content_section model in
vertical [ horizontal [ repo; str " "; debug ]; empty; tabs; content; empty ]
vertical
[ repo; empty; tabs; horizontal [ content; horizontal_fill; about ]; empty ]
let view (model : Model.t) = model |> to_doc |> Pretty.render ~width:model.width

3
lib/tui/widget.ml
View File

@ -1,12 +1,13 @@
let style_selected = ANSITerminal.[ Bold; green ]
let style_directory = ANSITerminal.[ Bold; magenta ]
let about_doc =
let about_doc (model: Model.t) =
let widget =
[
"┌─────╼ About ╾─────┐";
"│ GitHub TUI v0.1.0 │";
"│ :h - help │";
Printf.sprintf "│ Size: %dw x %dh │" model.width model.height;
"└───────────────────┘";
]
in