- var fingerprint_label = new Label(_("SHA-256 fingerprint:"));
- fingerprint_label.set_alignment(0, 0.5f);
-
- var footprint = new TextView();
- //footprint.activates_default = false;
- // footprint.set_sensitive(false);
- footprint.set_editable(false);
- // footprint.set_text(idcard.trust_anchor.server_cert);
- var buffer = footprint.get_buffer();
- buffer.set_text(colonize(idcard.trust_anchor.server_cert), -1);
- footprint.wrap_mode = WrapMode.WORD_CHAR;
-
- set_atk_relation(fingerprint_label, footprint, Atk.RelationType.LABEL_FOR);
-
- var footprint_width_constraint = new ScrolledWindow(null, null);
- footprint_width_constraint.set_policy(PolicyType.NEVER, PolicyType.NEVER);
- footprint_width_constraint.set_shadow_type(ShadowType.IN);
- footprint_width_constraint.set_size_request(400, 60);
- footprint_width_constraint.add_with_viewport(footprint);
-