Made channel title label larger and bold

This commit is contained in:
Tristan B. Kildaire 2020-10-22 23:21:01 +02:00
parent 682c5e482e
commit 0c3479eac6
1 changed files with 7 additions and 2 deletions

View File

@ -77,7 +77,11 @@ public final class Channel
/* The text box */ /* The text box */
Box textBox = new Box(GtkOrientation.VERTICAL, 1); Box textBox = new Box(GtkOrientation.VERTICAL, 1);
textBox.add(new Label(channelName));
/* Channel title */
Label channelTitleLabel = new Label(channelName);
channelTitleLabel.setMarkup("<span size=\"large\"><b>"~channelName~"</b></span>");
textBox.add(channelTitleLabel);
textArea = new ListBox(); textArea = new ListBox();
@ -282,9 +286,10 @@ public final class Channel
{ {
/* The label to add */ /* The label to add */
/* TODO: Bababooey these `-->` being parsed as HTML for Pango */ /* TODO: Bababooey these `-->` being parsed as HTML for Pango */
Label leaveLabel = new Label("<-- <i>"~username~" left the channel</i>"); Label leaveLabel = new Label("\\<-- <i>"~username~" left the channel</i>");
leaveLabel.setHalign(GtkAlign.START); leaveLabel.setHalign(GtkAlign.START);
leaveLabel.setUseMarkup(true); leaveLabel.setUseMarkup(true);
// /leaveLabel.
/* Add leave message to message log */ /* Add leave message to message log */
textArea.add(leaveLabel); textArea.add(leaveLabel);