Bot releases are visible (Hide)
Zed_edit
: fix the Next_word
and Prev_word
actionsPublished by tmattio over 1 year ago
CHANGES:
Zed_utf8.next_error
: raise Zed_utf8.Out_of_bounds
in case of invalid offset (@Lucccyo, #52)kill_next_word
should not raise Out_of_bound
(@Lucccyo, #55)of_utf8
: add Uchar.is_valid
to check the input (@Lucccyo, #51)Published by tmattio almost 2 years ago
CHANGES:
Published by tmattio over 2 years ago
CHANGES:
Published by kandu over 4 years ago
Zed_edit
Set_pos
actionInsert_str
actionPublished by kandu over 4 years ago
Zed_edit
: fix copy_sequence
Published by kandu over 4 years ago
Zed_edit
:
Join_line
Goto of int
Delete_next_chars of int
Delete_prev_chars of int
Kill_next_chars of int
Kill_prev_chars of int
copy_sequence
Published by kandu over 4 years ago
Published by kandu over 4 years ago
Result
(>= 1.5) (@mjambon, #31)Published by kandu over 4 years ago
make_b
Published by kandu almost 5 years ago
get_idx_by_width set row column_width
return the offset of the character at [row, column_width]
Published by kandu about 5 years ago
exception Invalid of string * string
raised when an invalid Zed_char sequence is encountednext_ofs : t -> int -> int
returns the offset of the next zchar in t
prev_ofs : t -> int -> int
returns the offset of the prev zchar in t
Published by kandu over 5 years ago
unsafe_extract_prev
Published by kandu over 5 years ago
indv_combining
option to the transforming functions(of_uChars, zChars_of_uChars, of_utf8
) to determine whether to extract individual combining marks from the parameter (#18)Published by kandu over 5 years ago
column_display: Zed_cursor.t -> int React.signal
get_column: Zed_cursor.t -> int
coordinates_display: Zed_cursor.t -> (int * int) React.signal
get_coordinates: Zed_cursor.t -> int * int
regexp_word_core: Zed_re.Core.t
regexp_word_raw: Zed_re.raw.t
match_by_regexp_core
match_by_regexp_raw
Zed_char.t
or Zed_string.t
as arguemnts instead of UChar.t
or Zed_utf8.t
Zed_char.t
and raw UChar.t
, respectivelychanges
is defined as a structure and has two more fields: added_width
and removed_width
Published by rgrinberg almost 7 years ago