Merge branch 'uid_label' into 'master'

Uid label

Closes #318

See merge request World/fractal!233
This commit is contained in:
Daniel Garcia Moreno 2018-09-24 06:40:21 +00:00
commit 1793baba4c
2 changed files with 12 additions and 0 deletions

View file

@ -297,3 +297,7 @@ stack.titlebar:not(headerbar) > box > separator {
.devel headerbar:last-child > box > label { .devel headerbar:last-child > box > label {
color: @theme_fg_color; color: @theme_fg_color;
} }
.small-font {
font-size: small;
}

View file

@ -126,11 +126,19 @@ fn load_row_content(member: Member) -> gtk::Box {
avatar.circle(member.uid.clone(), member.alias.clone(), 40); avatar.circle(member.uid.clone(), member.alias.clone(), 40);
let user_box = gtk::Box::new(gtk::Orientation::Vertical, 0); let user_box = gtk::Box::new(gtk::Orientation::Vertical, 0);
let username = gtk::Label::new(Some(member.get_alias().as_str())); let username = gtk::Label::new(Some(member.get_alias().as_str()));
let uid = gtk::Label::new(Some(member.uid.as_str()));
username.set_xalign(0.);
uid.set_xalign(0.);
if let Some(style) = uid.get_style_context() {
style.add_class("small-font");
style.add_class("dim-label");
}
b.set_margin_start(12); b.set_margin_start(12);
b.set_margin_end(12); b.set_margin_end(12);
b.set_margin_top(6); b.set_margin_top(6);
b.set_margin_bottom(6); b.set_margin_bottom(6);
user_box.pack_start(&username, true, true, 0); user_box.pack_start(&username, true, true, 0);
user_box.pack_start(&uid, false, false, 0);
/* we don't have this state yet /* we don't have this state yet
* let state = gtk::Label::new(); * let state = gtk::Label::new();
* user_box.pack_end(&state, true, true, 0); */ * user_box.pack_end(&state, true, true, 0); */