Denis Merigoux e1ea8fbd35 Fixed bug in textinput::adjust_vertical concerning selection_origin update ...

This bug was discovered using the F* formal verification framework.

Style changes (match -> if let)

Replace if let Some(_) by .is_some()

2018-12-22 17:50:24 +01:00

36 KiB

Raw Blame History

View Raw