terminal user interface to jujutsu. Focused on speed and clarity
Op log tab
+13
-6
+13
-6
jj_tui/bin/jj_ui.ml
+13
-6
jj_tui/bin/jj_ui.ml
···
79
79
~pad:Wd.neutral_grav
80
80
|> inputs
81
81
;;
82
-
83
82
(** The primary view for the UI with the file_view graph_view and summary*)
84
83
let main_view ~sw =
85
84
let file_focus = Focus.make () in
···
134
133
|> inputs
135
134
;;
136
135
136
+
(** Shows the op log *)
137
+
let log_view () =
138
+
jj_no_log [ "op"; "log"; "--limit";"200" ]
139
+
|> AnsiReverse.colored_string
140
+
|> Ui.atom
141
+
|>Ui.resize ~mh:1000 ~mw:10000
142
+
|> Lwd.pure
143
+
|>Wd.scroll_area
144
+
|> Wd.border_box ~pad_w:1 ~pad_h:0
145
+
|>inputs
146
+
;;
147
+
137
148
let mainUi ~sw env =
138
149
(*we want to initialize our states and keep them up to date*)
139
150
match check_startup () with
···
158
169
| `RunCmd cmd ->
159
170
Jj_widgets.interactive_process env ("jj" :: cmd)
160
171
| `Main ->
161
-
Wd.mouse_tabs
162
-
[
163
-
("main", fun _ -> main_view ~sw)
164
-
; ("other", fun _ -> W.string "they" |> Lwd.pure)
165
-
])
172
+
Wd.keyboard_tabs [ ("Main", fun _ -> main_view ~sw); "Op log", log_view ])
166
173
| (`CantStartProcess | `NotInRepo | `OtherError _) as other ->
167
174
render_startup_error other
168
175
;;