elvish/edit
Qi Xiao 83b214e31c edit: When doing a refresh, erase just once in the beginning.
Previously if you bind `le:binding[insert][Ctrl-L] = { put * }`, there is a
small defect that is readily observed by pressing Ctrl-L repeatedly:
the prompt will never go to the bottom of terminal, but always kept one line
higher than the bottom.

This is because invoking a closure from the editor causes a full refresh,
which in turn causes an erase to be done near the end of writer.refresh,
which, in the old algorithm, always adds a superfluous newline.

By doing the erase at the very beginning, we avoid the superfluous newline.
Now pressing Ctrl-L repeatedly will push the prompt to the bottom.
2016-02-20 03:05:03 +01:00
..
async_reader_test.go async_reader_test.go: Use time.Timer; cosmetics. 2016-02-05 22:28:02 +01:00
async_reader.go Cleanups. 2016-02-12 13:31:24 +01:00
bind.go Slightly simplify Repr. 2016-02-19 20:31:54 +01:00
builtins.go edit: Don't show tips when about to exit ReadLine. 2016-02-19 17:26:44 +01:00
ceildiv_test.go Move util/ceildiv{"" _test} to edit/ 2015-02-26 15:32:49 +01:00
ceildiv.go Cleanups. 2016-02-12 13:31:24 +01:00
completers.go Sort variables in completion. 2016-02-19 20:54:40 +01:00
completion.go pushTip -> addTip; make it nicer to use. 2016-02-13 19:27:21 +01:00
editor.go Remove ContextualError. 2016-02-19 17:46:21 +01:00
history.go Wait for store jobs to finish when exiting. 2016-02-20 02:32:12 +01:00
historyListing.go Add a history listing mode. 2016-02-14 07:52:31 +00:00
isexternal.go Cleanups. 2016-02-12 13:31:24 +01:00
key.go edit: Small refactor. 2016-02-13 19:17:20 +01:00
ls_colors.go Cleanups. 2016-02-12 13:31:24 +01:00
minmax.go Use persistent history in the editor 2015-02-26 00:40:35 +01:00
module.go Slightly simplify Repr. 2016-02-19 20:31:54 +01:00
navigation.go Cleanups. 2016-02-12 13:31:24 +01:00
nodeutil.go Merge *util packages into an util package. 2016-02-16 19:15:29 +01:00
reader.go Parse G3 arrow keys. 2016-02-14 18:31:36 +01:00
style.go Use \e[2m (dim) as the style for completion and history. 2016-02-15 13:37:08 +01:00
stylists.go Cleanups. 2016-02-12 13:31:24 +01:00
token.go Cleanups. 2016-02-12 13:31:24 +01:00
wcwidth_test.go edit: Export most funcs in wcwidth.go 2014-03-10 00:17:29 +08:00
wcwidth.go Much cosmetics for edit 2015-02-24 22:56:38 +01:00
writer.go edit: When doing a refresh, erase just once in the beginning. 2016-02-20 03:05:03 +01:00