Whether any text is selected.
- edit: the text being edited.
edit: Text_Edit;
defer free_text_edit(*edit);
set_contents(*edit, "abc");
assert(!has_selection(*edit));
select_all(*edit);
assert(has_selection(*edit));has_selection :: (edit: *Text_Edit) -> bool
Whether any text is selected.
Parameters
- edit: *Text_Edit
- the text being edited.
Returns
- bool
edit: Text_Edit;
defer free_text_edit(*edit);
set_contents(*edit, "abc");
assert(!has_selection(*edit));
select_all(*edit);
assert(has_selection(*edit));