diff options
author | 2019-03-25 22:44:58 +0100 | |
---|---|---|
committer | 2019-03-25 22:44:58 +0100 | |
commit | c24473ddff715ecec2e258a6eb38960cf8c8e98e (patch) | |
tree | 8ea44b6396a6129913c0aac13859b5de9965e972 /plugins/console/init.lua | |
parent | 009cba4fb8102102168ef32870892438327f3705 (diff) | |
parent | 598cd5227223c3b04ca31f0dbc1981256d9ea3ff (diff) |
conflict resolution (nw)
Diffstat (limited to 'plugins/console/init.lua')
-rw-r--r-- | plugins/console/init.lua | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/plugins/console/init.lua b/plugins/console/init.lua index 3cb75f55528..52d54fdcc1a 100644 --- a/plugins/console/init.lua +++ b/plugins/console/init.lua @@ -18,6 +18,16 @@ function console.startplugin() local matches = {} local lastindex = 0 local consolebuf + _G.history = function (index) + local history = ln.historyget() + if index then + ln.preload(history[index]) + return + end + for num, line in ipairs(history) do + print(num, line) + end + end print(" _/ _/ _/_/ _/ _/ _/_/_/_/"); print(" _/_/ _/_/ _/ _/ _/_/ _/_/ _/ "); print(" _/ _/ _/ _/_/_/_/ _/ _/ _/ _/_/_/ "); @@ -28,7 +38,7 @@ function console.startplugin() -- linenoise isn't thread safe but that means history can handled here -- that also means that bad things will happen if anything outside lua tries to use it -- especially the completion callback - ln.historysetmaxlen(10) + ln.historysetmaxlen(50) local scr = [[ local ln = require('linenoise') ln.setcompletion(function(c, str, pos) |