mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2025-10-06 03:50:02 +02:00
Merge remote-tracking branch 'origin/patch'
Conflicts: Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/help/ProcessorListPlugin.java Ghidra/Framework/Gui/src/main/java/ghidra/util/HTMLUtilities.java
This commit is contained in:
commit
80d1031d01
50 changed files with 713 additions and 388 deletions
|
@ -244,7 +244,7 @@ public class ProgramCompilerSpec extends BasicCompilerSpec {
|
|||
return;
|
||||
}
|
||||
StringBuilder buffer = new StringBuilder();
|
||||
buffer.append("<HTML>User-defined extensions failed to parse: ");
|
||||
buffer.append("<html>User-defined extensions failed to parse: ");
|
||||
buffer.append("<ul>");
|
||||
for (String line : errorList) {
|
||||
buffer.append("<li>").append(line).append("</li>");
|
||||
|
|
|
@ -57,9 +57,9 @@ public class DataTypeArchiveTransformerPanel extends JPanel {
|
|||
|
||||
private void setupDescription() {
|
||||
JLabel label = new GHtmlLabel(
|
||||
"<HTML>Specify the files for converting a new data type archive (.gdt)<BR>" +
|
||||
"<html>Specify the files for converting a new data type archive (.gdt)<BR>" +
|
||||
"to match the IDs of data types in an old data type archive.<BR>" +
|
||||
"The result will be saved to the destination archive.</HTML>");
|
||||
"The result will be saved to the destination archive.</html>");
|
||||
label.setBorder(BorderFactory.createEmptyBorder(0, 0, 8, 0));
|
||||
label.setHorizontalAlignment(SwingConstants.CENTER);
|
||||
add(label, BorderLayout.NORTH);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue