terminal user interface to jujutsu. Focused on speed and clarity
fix bug in widget
+6
-2
+6
-2
jj_tui/lib/widgets/widgets.ml
+6
-2
jj_tui/lib/widgets/widgets.ml
···
239
239
in
240
240
Lwd.map2 t state ~f:(fun t (state_w, state_h) ->
241
241
let tw, th = Ui.layout_width t, Ui.layout_height t in
242
+
let tmw, tmh = Ui.layout_max_width t, Ui.layout_max_height t in
242
243
(* let mw, mh = if max then Some tw, Some th else None, None in *)
243
244
t
244
-
|> Ui.resize ~w:0 ~sw:1 ~h:0 ~sh:1
245
+
|> Ui.resize ~w:0 ~sw:1 ~h:0 ~sh:1 ~mw:10000 ~mh:100000
245
246
|> Ui.shift_area state_w.position state_h.position
246
247
(* |>Ui.join_y (Ui.atom (I.string A.empty (string_of_int state_w.visible))) *)
247
248
(*TODO: make an alternative that has this already set*)
···
284
285
| None, None ->
285
286
())
286
287
|> Ui.mouse_area (scroll_handler state_w state_h)
287
-
|> Ui.keyboard_area ?focus (focus_handler state_w state_h))
288
+
|> Ui.keyboard_area ?focus (focus_handler state_w state_h)
289
+
(*restore original mw*)
290
+
|>Ui.resize ~mw:tmw ~mh:tmh
291
+
)
288
292
;;
289
293
290
294
(** A scroll area that allows keyboard scrolling in both x and y directions*)