text_area improvements

This commit is contained in:
cqc
2022-12-18 11:14:37 -06:00
parent 3509930195
commit 048ea0eab4
3 changed files with 7101 additions and 6537 deletions

View File

@ -85,7 +85,6 @@ let _ =
let webgl_ctx = webgl_initialize canvas in
let vg = graphv_initialize webgl_ctx in
let open Js_of_ocaml_lwt.Lwt_js_events in
let edit_me = Lwd.var ("edit me?", 0) in
let open Nottui in
let gravity_pad = Gravity.make ~h:`Negative ~v:`Negative in
let gravity_crop = Gravity.make ~h:`Positive ~v:`Negative in
@ -93,12 +92,20 @@ let _ =
let wm = Nottui_widgets.window_manager (Lwd.join (Lwd.get body)) in
let ui =
Nottui_widgets.(
let string s = Lwd.pure @@ Nottui_widgets.string s in
line_table_of_string
"edit me?\n\
derp derp derp\n\
herp herp derp\n\
ding dong beep beep"
edit_area
~table:
(multifield_of_string
"edit me?\n\
derp derp derp\n\
herp herp derp\n\
ding dong beep beep")
()
(* vlist_of_text
@@ Lwd.pure
"navigate me?\n\
derp derp derp\n\
herp herp derp\n\
ding dong beep beep" *)
(* @@ Lwd_utils.pack Ui.pack_y
[
edit_field edit_me;