jacket
Search the docs
/
API
Tools
Playground
0.31.0
UI module
← UI
Text edit
free_text_edit
set_contents
contents
has_selection
selection_range
selected_text
caret_position
move_caret
select_all
insert_text
delete_selection
offset_by
move_by
delete_by
move_vertically
select_word_at
select_line_at
undo_edit
redo_edit
insert_newline
insert_tab
handle_key
copy_selection
cut_selection
paste_clipboard
text_editor
text_field
visible_lines
wake_in
On this page
See also
std
/
Extensions
/
UI
/
has_selection
has_selection
procedure · 1 overload
since 0.31.0
Source
Whether any text is selected.
edit: the text being edited.
has_selection
:: (edit: *
Text_Edit
) ->
bool
Whether any text is selected.
Parameters
edit
:
*
Text_Edit
the text being edited.
Returns
bool
See also
set_contents
contents
selection_range
selected_text