This commit is contained in:
Jérémie Dimino 2017-05-04 17:55:47 +01:00
parent 6759d18811
commit fa27469e60
1 changed files with 1 additions and 1 deletions

View File

@ -97,7 +97,7 @@ val set_margin_function : (LTerm_geom.size -> int option) -> unit
The default is:
{[
fun size -> Some (max 80 size.cols)
fun size -> Some (min 80 size.cols)
]}
*)