commit
34c65a4a03
|
@ -44,6 +44,7 @@ let get_ui () = S.value UTop_private.ui
|
|||
type profile = Dark | Light
|
||||
|
||||
let profile, set_profile = S.create Dark
|
||||
let set_profile p = set_profile p
|
||||
|
||||
let size = UTop_private.size
|
||||
|
||||
|
@ -57,6 +58,7 @@ let () = at_new_command (fun () -> time := Unix.time ())
|
|||
|
||||
let make_variable ?eq x =
|
||||
let signal, set = S.create ?eq x in
|
||||
let set v = set v in
|
||||
(signal, (fun () -> S.value signal), set)
|
||||
|
||||
type syntax =
|
||||
|
|
|
@ -11,11 +11,13 @@ open Lwt_react
|
|||
|
||||
let size, set_size =
|
||||
let ev, set_size = E.create () in
|
||||
(S.switch (S.const { LTerm_geom.rows = 25; LTerm_geom.cols = 80 }) ev, set_size)
|
||||
let init = S.const { LTerm_geom.rows = 25; LTerm_geom.cols = 80 } in
|
||||
(S.switch (S.hold ~eq:( == ) init ev), set_size)
|
||||
|
||||
let key_sequence, set_key_sequence =
|
||||
let ev, set_key_sequence = E.create () in
|
||||
(S.switch (S.const ([] : LTerm_key.t list)) ev, set_key_sequence)
|
||||
let init = (S.const ([] : LTerm_key.t list)) in
|
||||
(S.switch (S.hold ~eq:( == ) init ev), set_key_sequence)
|
||||
|
||||
let count, set_count = S.create (-1)
|
||||
|
||||
|
|
Loading…
Reference in New Issue