start/end display cannot have extra trailing whitespace
This commit is contained in:
1 parent
0ef0a16288
commit
5c80ecf39b
1 file changed
+4
-2
+4
-2
@@ -123,12 +123,14 @@ function crossref(name, sect, other) {
|
||||
|
||||
# Start an indented display
|
||||
function dispstart() {
|
||||
linecmd("```text")
|
||||
endline()
|
||||
print "```text"
|
||||
}
|
||||
|
||||
# End an indented display
|
||||
function dispend() {
|
||||
linecmd("```")
|
||||
endline()
|
||||
print "```"
|
||||
}
|
||||
|
||||
# Collect rest of input line
|
||||
|
||||
Reference in new issue
Block a user