console/boot
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

basic text field edition

Browse Source
This commit is contained in:
cqc
2022-12-14 09:46:09 -06:00
parent a64fcbb010
commit 5c10f3860a
3 changed files with 368 additions and 281 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
boot_js.ml
View File

@ -94,24 +94,28 @@ let _ =
let ui =
Nottui_widgets.(
let string s = Lwd.pure @@ Nottui_widgets.string s in
scroll_area
@@ Lwd_utils.pack Ui.pack_y
[
edit_field edit_me;
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
main_menu_item wm "Quit" (fun () -> exit 0);
])
line_table_of_string
"edit me?\n\
derp derp derp\n\
herp herp derp\n\
ding dong beep beep"
(* @@ Lwd_utils.pack Ui.pack_y
[
edit_field edit_me;
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
string "derp derp derp";
string "herp herp derp";
string "ding dong beep beep";
main_menu_item wm "Quit" (fun () -> exit 0);
] *))
in
let root =
Lwd.set body