Merge pull request #955 from vedgy/fix-mediawiki-tooltips

Show #link as a tooltip instead of empty "Definition: "
This commit is contained in:
Abs62 2019-02-07 18:48:11 +03:00 committed by GitHub
commit 76127eb04f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1082,7 +1082,12 @@ void ArticleView::linkHovered ( const QString & link, const QString & , const QS
}
if( msg.isEmpty() )
msg = tr( "Definition: %1").arg( def );
{
if( def.isEmpty() && url.hasFragment() )
msg = '#' + url.fragment(); // this must be a citation, footnote or backlink
else
msg = tr( "Definition: %1").arg( def );
}
}
else
{