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

hackin on the layout and window management

Browse Source
This commit is contained in:
cqc
2024-07-19 14:42:31 -05:00
parent d3dc3d091b
commit 686d868a94
2 changed files with 113 additions and 67 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
oplevel.ml
View File

@ -126,7 +126,7 @@ let main =
(String.concat "/" initial_path))
|> Lwt.return
>>= fun to_init ->
let out_ppf =
let _out_ppf =
let insert s =
Lwt.async (fun () ->
TextBuffer.length to_init >>= fun len ->
@ -174,15 +174,13 @@ let main =
]));
WindowManager.make ui
~style:
Layout.Style.
{ default with margin = Margin.symmetric 10.0 10.0 }
(Lwd.var
(`T
( `Y,
[
`TextEdit (TextEdit.multiline ui tb_init, `Ratio 1.0);
`TextEdit (TextEdit.multiline ui to_init, `Ratio 0.5);
(`TextEdit (TextEdit.multiline ui to_init), `Ratio 0.333);
(`TextEdit (TextEdit.multiline ui tb_init), `Ratio 0.5);
(`TextEdit (TextEdit.multiline ui to_init), `Ratio 1.0);
] )))
>>= fun page ->
let page_root = Lwd.observe page in