diff options
author | fiaxh <git@lightrise.org> | 2022-05-14 14:45:59 +0200 |
---|---|---|
committer | fiaxh <git@lightrise.org> | 2022-07-27 20:34:20 +0200 |
commit | f44cbe02c17df1f02ad49c63cd784fec0ea02d85 (patch) | |
tree | 4cab9b5f84d88769d19b0698e24b318f50b6144e /plugins/omemo/src/ui/device_notification_populator.vala | |
parent | 2b3ce5fc95c63ed7d54e207db0585c8b8bbcd603 (diff) | |
download | dino-f44cbe02c17df1f02ad49c63cd784fec0ea02d85.tar.gz dino-f44cbe02c17df1f02ad49c63cd784fec0ea02d85.zip |
Improve Gtk4 port
Diffstat (limited to 'plugins/omemo/src/ui/device_notification_populator.vala')
-rw-r--r-- | plugins/omemo/src/ui/device_notification_populator.vala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/omemo/src/ui/device_notification_populator.vala b/plugins/omemo/src/ui/device_notification_populator.vala index 9f40353d..fafe7a24 100644 --- a/plugins/omemo/src/ui/device_notification_populator.vala +++ b/plugins/omemo/src/ui/device_notification_populator.vala @@ -69,8 +69,8 @@ private class ConversationNotification : MetaConversationNotification { this.jid = jid; this.account = account; - Box box = new Box(Orientation.HORIZONTAL, 5) { visible=true }; - Button manage_button = new Button.with_label(_("Manage")) { visible=true }; + Box box = new Box(Orientation.HORIZONTAL, 5); + Button manage_button = new Button.with_label(_("Manage")); manage_button.clicked.connect(() => { manage_button.activate(); ContactDetailsDialog dialog = new ContactDetailsDialog(plugin, account, jid); @@ -80,7 +80,7 @@ private class ConversationNotification : MetaConversationNotification { }); dialog.present(); }); - box.append(new Label(_("This contact has new devices")) { margin_end=10, visible=true }); + box.append(new Label(_("This contact has new devices")) { margin_end=10 }); box.append(manage_button); widget = box; } |