proof/selection · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof selection

1 folder · 22 files

at bend/stackfix

gildrb.com · selection: a copied line drops its trailing blanks wherever its soft wrap falls · 2w ago

sel_release_copies

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

sel_click_copies_nothing.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

sel_copy_anchor_to_head.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

sel_drag_moves_head.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

sel_esc_clears.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

sel_key_clears.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

sel_line_bounds.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

sel_release_copies_once.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

sel_release_copies.bend

selection: a copied line drops its trailing blanks wherever its soft wrap falls

sel_scroll_past_edge.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

sel_single_press.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

sel_word_bounds.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

sel_wrap_joins.bend

selection: a copied line drops its trailing blanks wherever its soft wrap falls

sel_wrap_trailing_blanks_example.bend

selection: a copied line drops its trailing blanks wherever its soft wrap falls

selection_ffi_decides.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

selection_ffi_error_keeps_the_state.bend

selection: a refused input keeps the state (selection_ffi_error_keeps_the_state); LAWS.lock re-locked

selection_ffi_example.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

selection_ffi_left_over.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

selection_ffi_open.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

selection_ffi_reads_only_events.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

selection_ffi_unknown_event.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/

selection_ffi_unknown_wrap.bend

selection: Bend model of the fullscreen text selection (press, drag, release, word/line picks, clears), stepper entry bend/ffi_selection.bend (id 39), laws/selection.bend (14 model laws, 7 spec-speller entry laws), proofs proof/selection/