/*
- * Copyright (c) 2011-2014, JANET(UK)
+ * Copyright (c) 2011-2016, JANET(UK)
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
{
static MoonshotLogger logger = get_logger("IdCardWidget");
+ private IdentityManagerView manager_view;
+
public IdCard id_card { get; set; default = null; }
private VBox main_vbox;
private HBox table;
}
public signal void expanded();
+ public signal void collapsed();
- public void collapse()
+ private void select()
{
- is_selected = false;
- update_id_card_label();
+ expand();
+ this.expanded();
+ }
- set_idcard_color();
+ private void unselect()
+ {
+ collapse();
+ this.collapsed();
}
public void expand()
this.expanded();
}
+ public void collapse()
+ {
+ is_selected = false;
+ update_id_card_label();
+
+ set_idcard_color();
+ }
+
private bool button_press_cb()
{
if (is_selected)
- collapse();
+ unselect();
else
- expand();
+ select();
return false;
}
update_id_card_label()
{
// !!TODO: Use a table to format the labels and values
- string services_text = "Services: ";
- string service_spacer = " ";
+ string services_text = _("Services: ");
+ string service_spacer = _("\n ");
- var label_text = Markup.printf_escaped("<big>%s</big>", this.id_card.display_name);
+ var display_name = (manager_view.selection_in_progress() && this.id_card.is_no_identity()
+ ? "Do not use a Moonshot identity for this service" : this.id_card.display_name);
+ var label_text = Markup.printf_escaped(_("<big>%s</big>"), display_name);
if (is_selected)
{
label_text += "\nUsername: " + id_card.username;
label_text += "\nRealm: " + id_card.issuer;
-
- var sep = "";
- for (int i = 0; i < id_card.services.length; i++)
- {
- services_text += sep;
- services_text += id_card.services[i];
-
- sep = "\n" + service_spacer;
+ if (!id_card.trust_anchor.is_empty()) {
+ label_text += _("\nTrust anchor: Enterprise provisioned");
}
- label_text += "\n" + services_text;
+ services_text += this.id_card.get_services_string(service_spacer);
+ label_text += _("\n") + services_text;
}
label.set_markup(label_text);
}
- public IdCardWidget(IdCard id_card)
+ public IdCardWidget(IdCard id_card, IdentityManagerView manager_view)
{
this.id_card = id_card;
+ this.manager_view = manager_view;
var image = new Image.from_pixbuf(get_pixbuf(id_card));