Zed_edit: fix theNext_wordandPrev_wordactions
Zed_utf8.next_error: raiseZed_utf8.Out_of_boundsin case of invalid offset (@Lucccyo, #52)kill_next_wordshould not raiseOut_of_bound(@Lucccyo, #55)of_utf8: addUchar.is_validto check the input (@Lucccyo, #51)
- Check if decoded values fit in Uchar (Etienne Millon, #50)
- Replace Camomile with uu* (Nicolás Ojeda Bär, ZAN DoYe, Thibaut Mattio, #46)
Zed_editSet_posactionInsert_straction
Zed_edit: fixcopy_sequence
Zed_edit:- new actions
Join_lineGoto of intDelete_next_chars of intDelete_prev_chars of intKill_next_chars of intKill_prev_chars of int
- function
copy_sequence
- new actions
- fix Zed_edit.undo (#36)
- compabile with
Result(>= 1.5) (@mjambon, #31)
- Zed_rope.Zip: fix a bug in function
make_b
- add wanted_column support for wide width character
- Zed_lines:
get_idx_by_width set row column_widthreturn the offset of the character at[row, column_width]
- Zed_string
exception Invalid of string * stringraised when an invalid Zed_char sequence is encountednext_ofs : t -> int -> intreturns the offset of the next zchar intprev_ofs : t -> int -> intreturns the offset of the prev zchar int
- Zed_utf8: fix an ofs-stepping bug in function
unsafe_extract_prev
- Zed_char: add an
indv_combiningoption to the transforming functions(of_uChars, zChars_of_uChars, of_utf8) to determine whether to extract individual combining marks from the parameter (#18) - Zed_char: clarify some documentation comments (#18)
- module Zed_char
- module Zed_string
- Zed_cursor
column_display: Zed_cursor.t -> int React.signalget_column: Zed_cursor.t -> intcoordinates_display: Zed_cursor.t -> (int * int) React.signalget_coordinates: Zed_cursor.t -> int * int
- Zed_edit
regexp_word_core: Zed_re.Core.tregexp_word_raw: Zed_re.raw.tmatch_by_regexp_corematch_by_regexp_raw
- Zed_rope
- Zed_rope.empty is a function now
- Other functions in this module take
Zed_char.torZed_string.tas arguemnts instead ofUChar.torZed_utf8.t - module Zipper is divided into two modules, Zip and Zip_raw, to navigate over a rope by Zed_char.t or UChar.t, respectively
- module Text is divided into three modules, Text, Text_core, Text_raw, to manager Zed_rope by Zed_char.t, the core UChar.t of a
Zed_char.tand rawUChar.t, respectively
- Zed_re is therefore divided into two modules: Core and Raw
- Zed_cursor: the type
changesis defined as a structure and has two more fields:added_widthandremoved_width
- README: Add Travis badge (Kevin Ji, #11)
- Add travis config (Anurag Soni, #10)
- Switch to dune (Anurag Soni, #9)
- safe-string compatibility (#8)
- Switch to jbuilder (Rudi Gringberg, #4)
- Make
{delete_,kill_,}{next,prev}_wordconsistent near the start/end of the buffer (Fabian (github use copy), #5)
- added
Zed_edit.get_line - added
Zed_line.line_{length,stop} - fix a bug in cursor updates
- fix some invalid use of react
Zed_ropefixes:rev_map: fix recursion- enforce evaluation order in
map&rev_map
- add escaping functions
- add
Zed_utf8.next_error
- add the
{delete,kill}-{prev,next}-wordactions and functions - add
Zed_edit.Insert(ch) - add
Zed_edit.replace - raise an exception when editing a read-only part of a text
- disable the move function
- add support for undo
- add
Zed_inputto ease writing key binders - add
Zed_macroto ease writing macro system - fix
Zed_rope.Zip.sub - add
Zed_edit.new_clipboard - add
Zed_utf8.add