From 212cf4d8bd8d146c55235fd719038d435fe524d3 Mon Sep 17 00:00:00 2001 From: Pouryafard75 Date: Tue, 28 May 2024 23:52:46 -0400 Subject: [PATCH] ASTDiff: (GUI) Fix the legend for the VanillaDiffView Related to https://github.com/tsantalis/RefactoringMiner/issues/727 --- src/main/java/gui/webdiff/VanillaDiffView.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/java/gui/webdiff/VanillaDiffView.java b/src/main/java/gui/webdiff/VanillaDiffView.java index 228dc917f..d8b425ef5 100644 --- a/src/main/java/gui/webdiff/VanillaDiffView.java +++ b/src/main/java/gui/webdiff/VanillaDiffView.java @@ -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", "q quit
l list
n next
" - + "t top
b bottom", false) + .add("data-bs-content", "Alt + q quit
Alt + l list
" + + "Alt + t top
Alt + b bottom", false) ).content("Shortcuts") ._div() .div(class_("btn-group"))