Replace deprecated String.lowercase with String.lowercase_ascii
This commit is contained in:
parent
239e6aad95
commit
9dcb51fea8
|
@ -80,7 +80,7 @@ let load () =
|
||||||
styles.style_foreground <- LTerm_resources.get_color "foreground" res;
|
styles.style_foreground <- LTerm_resources.get_color "foreground" res;
|
||||||
styles.style_background <- LTerm_resources.get_color "background" res;
|
styles.style_background <- LTerm_resources.get_color "background" res;
|
||||||
styles.style_cursor <- LTerm_resources.get_color "cursor" res;
|
styles.style_cursor <- LTerm_resources.get_color "cursor" res;
|
||||||
(match String.lowercase (LTerm_resources.get "profile" res) with
|
(match String.lowercase_ascii (LTerm_resources.get "profile" res) with
|
||||||
| "light" -> UTop.set_profile UTop.Light
|
| "light" -> UTop.set_profile UTop.Light
|
||||||
| "dark" -> UTop.set_profile UTop.Dark
|
| "dark" -> UTop.set_profile UTop.Dark
|
||||||
| "" -> ()
|
| "" -> ()
|
||||||
|
|
|
@ -22,4 +22,4 @@ depends: [
|
||||||
"jbuilder" {build & >= "1.0+beta9"}
|
"jbuilder" {build & >= "1.0+beta9"}
|
||||||
]
|
]
|
||||||
build-test: [["jbuilder" "runtest" "-p" name "-j" jobs]]
|
build-test: [["jbuilder" "runtest" "-p" name "-j" jobs]]
|
||||||
available: [ocaml-version >= "4.02.3"]
|
available: [ocaml-version >= "4.03.0"]
|
||||||
|
|
Loading…
Reference in New Issue