Skip to content

Commit

Permalink
adjustment to final skipped line in repl mode (#1036)
Browse files Browse the repository at this point in the history
  • Loading branch information
tlienart authored Jul 11, 2023
1 parent 1306cbc commit 89b2b60
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 2 deletions.
2 changes: 1 addition & 1 deletion Project.toml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
name = "Franklin"
uuid = "713c75ef-9fc9-4b05-94a9-213340da978e"
authors = ["Thibaut Lienart <[email protected]>"]
version = "0.10.86"
version = "0.10.87"

[deps]
Dates = "ade2ca70-3891-5945-98fb-dc099432e06a"
Expand Down
7 changes: 6 additions & 1 deletion src/utils/html.jl
Original file line number Diff line number Diff line change
Expand Up @@ -129,10 +129,15 @@ function html_repl_code(chunks::Vector{Pair{String,String}}, s::Symbol)::String
println(io, result)
println(io, "</div>")
else
for (code, result) in chunks
for (code, result) in chunks[1:end-1]
println(io, prefix * htmlesc(strip(code)))
println(io, result)
end
# last chunk; we want to avoid a stray empty line, note the `print`.
code, result = chunks[end]
println(io, prefix * htmlesc(strip(code)))
print(io, result)
# close the block
println(io, "</code></pre>")
end
return String(take!(io))
Expand Down

2 comments on commit 89b2b60

@tlienart
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request created: JuliaRegistries/General/87278

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.10.87 -m "<description of version>" 89b2b603689a1bc60d44ce1b8b4dfacefad2d911
git push origin v0.10.87

Please sign in to comment.