mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2025-10-03 17:59:46 +02:00
GP-4296 - Fixed screen reader support of tooltips using html
This commit is contained in:
parent
dffb5fd859
commit
0b0356528d
43 changed files with 349 additions and 342 deletions
|
@ -36,8 +36,8 @@ import ghidra.program.util.ProgramMergeFilter;
|
|||
import ghidra.util.HelpLocation;
|
||||
|
||||
/**
|
||||
* The DiffSettingsDialog is used to change the types of differences currently
|
||||
* highlighted. It also allows the user to change the types of differences being
|
||||
* The DiffSettingsDialog is used to change the types of differences currently
|
||||
* highlighted. It also allows the user to change the types of differences being
|
||||
* applied and whether labels and/or comments are being merged or replaced.
|
||||
*/
|
||||
public class DiffApplySettingsProvider extends ComponentProviderAdapter {
|
||||
|
@ -262,7 +262,7 @@ public class DiffApplySettingsProvider extends ComponentProviderAdapter {
|
|||
createChoices();
|
||||
VariableHeightPanel panel = new VariableHeightPanel(false, 10, 3);
|
||||
|
||||
panel.setToolTipText("<HTML>" +
|
||||
panel.setToolTipText("<html>" +
|
||||
"For each difference type, select whether to ignore, replace, or merge." +
|
||||
"<BR>  <B>Ignore</B> - don't apply this type of difference." +
|
||||
"<BR>  <B>Replace</B> - replace the difference type with the one from program 2." +
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue