Boldened username in tooltip

This commit is contained in:
Tristan B. Kildaire 2020-10-19 13:53:57 +02:00
parent 730c5348f1
commit ac9ea39a8f
1 changed files with 2 additions and 1 deletions

View File

@ -211,7 +211,8 @@ public final class Channel
d.setIconFromIconName(statusToGtkIcon(prescence), GtkIconSize.DIALOG);
d.setText(userHover~"\n"~prescence);
// d.setText();
d.setMarkup("<b>"~userHover~"</b>\n"~prescence);
// /* The notification box */
// Box notificationBox = new Box(GtkOrientation.VERTICAL, 1);