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
/
copy_selection
copy_selection
procedure · 1 overload
since 0.31.0
Source
Copy the selection to the clipboard.
ui: the UI whose clipboard hooks and text measuring to use.
edit: the text being edited.
copy_selection
:: (ui: *
UI_State
, edit: *
Text_Edit
)
Copy the selection to the clipboard.
Parameters
ui
:
*
UI_State
the UI whose clipboard hooks and text measuring to use.
edit
:
*
Text_Edit
the text being edited.
See also
insert_tab
handle_key
cut_selection
paste_clipboard