Skip to content

Commit

Permalink
ASTDiff: (GUI) Fix the legend for the VanillaDiffView
Browse files Browse the repository at this point in the history
Related to tsantalis#727
  • Loading branch information
pouryafard75 committed May 29, 2024
1 parent 2fef54a commit 212cf4d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/main/java/gui/webdiff/VanillaDiffView.java
Original file line number Diff line number Diff line change
Expand Up @@ -82,8 +82,8 @@ public void renderOn(HtmlCanvas html) throws IOException {
.add("data-bs-toggle", "popover")
.add("data-bs-placement", "bottom")
.add("data-bs-html", "true")
.add("data-bs-content", "<b>q</b> quit<br><b>l</b> list<br><b>n</b> next<br>"
+ "<b>t</b> top<br><b>b</b> bottom", false)
.add("data-bs-content", "<b>Alt + q</b> quit<br><b>Alt + l</b> list<br>"
+ "<b>Alt + t</b> top<br><b>Alt + b</b> bottom", false)
).content("Shortcuts")
._div()
.div(class_("btn-group"))
Expand Down

0 comments on commit 212cf4d

Please sign in to comment.