2021-02-18 21:31:03 +01:00
|
|
|
import ../plugin/defaults
|
|
|
|
import ../editor
|
|
|
|
import ../strutils
|
|
|
|
import ../templates
|
2021-02-18 21:51:44 +01:00
|
|
|
import ../multiline
|
2021-02-18 21:31:03 +01:00
|
|
|
|
|
|
|
import terminal
|
2021-02-18 21:51:44 +01:00
|
|
|
import os
|
2021-02-18 21:31:03 +01:00
|
|
|
|
2021-02-18 21:51:44 +01:00
|
|
|
eraseScreen()
|
|
|
|
setCursorPos(stdout, 0,0)
|
2021-02-18 21:31:03 +01:00
|
|
|
let e = newLineEditor()
|
2021-02-18 21:51:44 +01:00
|
|
|
if paramCount() > 0:
|
|
|
|
let arg = paramStr(1)
|
|
|
|
if fileExists(arg):
|
2021-02-18 22:25:13 +01:00
|
|
|
e.content = readFile(arg).fromString()
|
2021-02-18 21:51:44 +01:00
|
|
|
e.bindKey("ctrl+s"):
|
|
|
|
e.finish()
|
2021-02-18 21:31:03 +01:00
|
|
|
e.prompt = ""
|
2021-02-18 21:51:44 +01:00
|
|
|
e.populateDefaults(enterSubmits = false, shiftForVerticalMove = false)
|
|
|
|
let result = e.read()
|
|
|
|
if paramCount() > 0:
|
|
|
|
writeFile(paramStr(1), result)
|
2021-02-18 21:31:03 +01:00
|
|
|
|