add a tooltip with the full path to the file, GitHub issue #87

auto-update
Zlatin Balevsky 2021-10-14 21:11:47 +01:00
parent 189803e27a
commit 09092efbdb
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 1 additions and 0 deletions

View File

@ -32,6 +32,7 @@ class ResultNameTableCellRenderer extends DefaultTableCellRenderer {
setIcon(sharedIcon) setIcon(sharedIcon)
else else
setIcon(null) setIcon(null)
setToolTipText(HTMLSanitizer.sanitize(event.getFullPath()))
if (isSelected) { if (isSelected) {
setForeground(table.getSelectionForeground()) setForeground(table.getSelectionForeground())
setBackground(table.getSelectionBackground()) setBackground(table.getSelectionBackground())