Lines Matching full:edit
94 - edit Edit box in pop-up dialogs
95 - jump-edit Edit box in jump-to dialog
298 edit=fg:white,bg:blue
299 jump-edit=edit
315 edit=standout
316 jump-edit=
327 edit=fg:black,bg:white
1795 _style["edit"])
2031 # Edit box at the top
2032 edit_box = _styled_win("jump-edit")
2190 # Page Up (no Ctrl-U, as it's already used by the edit box)
2351 # Update edit box. We do this last since it makes it handy to position the
2868 # Implements text editing commands for edit boxes. Takes a character (which
2869 # could also be e.g. curses.KEY_LEFT) and the edit box state, and returns
2882 # Index in s of the leftmost character in the edit box, for horizontal
2886 # Width in characters of the edit box
2932 # right edges of the edit box, except when it's at the beginning or the end