Updated the appearance of two warning dialogs.
[moonshot-ui.git] / src / moonshot-identity-management-view.vala
1 /*
2  * Copyright (c) 2011-2016, JANET(UK)
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions
7  * are met:
8  *
9  * 1. Redistributions of source code must retain the above copyright
10  *    notice, this list of conditions and the following disclaimer.
11  *
12  * 2. Redistributions in binary form must reproduce the above copyright
13  *    notice, this list of conditions and the following disclaimer in the
14  *    documentation and/or other materials provided with the distribution.
15  *
16  * 3. Neither the name of JANET(UK) nor the names of its contributors
17  *    may be used to endorse or promote products derived from this software
18  *    without specific prior written permission.
19  *
20  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
21  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
22  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
23  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
24  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
25  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
26  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
27  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
28  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
29  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
30  * SUCH DAMAGE.
31 */
32 using Gee;
33 using Gtk;
34
35 public class IdentityManagerView : Window {
36     static MoonshotLogger logger = get_logger("IdentityManagerView");
37
38     private const int WINDOW_WIDTH = 700;
39     private const int WINDOW_HEIGHT = 500;
40     protected IdentityManagerApp parent_app;
41     #if OS_MACOS
42         public OSXApplication osxApp;
43     #endif
44     private UIManager ui_manager = new UIManager();
45     private Entry search_entry;
46     private VBox vbox_right;
47     private CustomVBox custom_vbox;
48     private VBox service_prompt_vbox;
49     private Label no_identity_title;
50     private Button edit_button;
51     private Button remove_button;
52
53     private Button send_button;
54     
55     private Gtk.ListStore* listmodel;
56     private TreeModelFilter filter;
57
58     internal IdentityManagerModel identities_manager;
59     private unowned SList<IdCard>    candidates;
60
61     public GLib.Queue<IdentityRequest> request_queue;
62
63     private enum Columns
64     {
65         IDCARD_COL,
66         LOGO_COL,
67         ISSUER_COL,
68         USERNAME_COL,
69         PASSWORD_COL,
70         N_COLUMNS
71     }
72
73     private const string menu_layout =
74     "<menubar name='MenuBar'>" +
75     "        <menu name='HelpMenu' action='HelpMenuAction'>" +
76     "             <menuitem name='About' action='AboutAction' />" +
77     "        </menu>" +
78     "</menubar>";
79
80     public IdentityManagerView(IdentityManagerApp app) {
81         parent_app = app;
82         #if OS_MACOS
83             osxApp = OSXApplication.get_instance();
84         #endif
85         identities_manager = parent_app.model;
86         request_queue = new GLib.Queue<IdentityRequest>();
87         this.title = "Moonshot Identity Selector";
88         this.set_position(WindowPosition.CENTER);
89         set_default_size(WINDOW_WIDTH, WINDOW_HEIGHT);
90         build_ui();
91         setup_list_model(); 
92         load_id_cards(); 
93         connect_signals();
94     }
95     
96     public void on_card_list_changed() {
97         load_id_cards();
98     }
99     
100     private bool visible_func(TreeModel model, TreeIter iter)
101     {
102         IdCard id_card;
103
104         model.get(iter,
105                   Columns.IDCARD_COL, out id_card);
106
107         if (id_card == null)
108             return false;
109         
110         if (candidates != null)
111         {
112             bool is_candidate = false;
113             foreach (IdCard candidate in candidates)
114             {
115                 if (candidate == id_card)
116                     is_candidate = true;
117             }
118             if (!is_candidate)
119                 return false;
120         }
121         
122         string entry_text = search_entry.get_text();
123         if (entry_text == null || entry_text == "")
124         {
125             return true;
126         }
127
128         foreach (string search_text in entry_text.split(" "))
129         {
130             if (search_text == "")
131                 continue;
132          
133
134             string search_text_casefold = search_text.casefold();
135
136             if (id_card.issuer != null)
137             {
138                 string issuer_casefold = id_card.issuer;
139
140                 if (issuer_casefold.contains(search_text_casefold))
141                     return true;
142             }
143
144             if (id_card.display_name != null)
145             {
146                 string display_name_casefold = id_card.display_name.casefold();
147               
148                 if (display_name_casefold.contains(search_text_casefold))
149                     return true;
150             }
151             
152             if (id_card.services.length > 0)
153             {
154                 foreach (string service in id_card.services)
155                 {
156                     string service_casefold = service.casefold();
157
158                     if (service_casefold.contains(search_text_casefold))
159                         return true;
160                 }
161             }
162         }
163         return false;
164     }
165
166     private void setup_list_model()
167     {
168         this.listmodel = new Gtk.ListStore(Columns.N_COLUMNS, typeof(IdCard),
169                                            typeof(Gdk.Pixbuf),
170                                            typeof(string),
171                                            typeof(string),
172                                            typeof(string));
173         this.filter = new TreeModelFilter(listmodel, null);
174
175         filter.set_visible_func(visible_func);
176     }
177
178     private void search_entry_icon_press_cb(EntryIconPosition pos, Gdk.Event event)
179     {
180         if (pos == EntryIconPosition.PRIMARY)
181         {
182             print("Search entry icon pressed\n");
183         }
184         else
185         {
186             this.search_entry.set_text("");
187         }
188     }
189
190     private void search_entry_text_changed_cb()
191     {
192         this.filter.refilter();
193         redraw_id_card_widgets();
194
195         var has_text = this.search_entry.get_text_length() > 0;
196         this.search_entry.set_icon_sensitive(EntryIconPosition.PRIMARY, has_text);
197         this.search_entry.set_icon_sensitive(EntryIconPosition.SECONDARY, has_text);
198     }
199
200     private bool search_entry_key_press_event_cb(Gdk.EventKey e)
201     {
202         if(Gdk.keyval_name(e.keyval) == "Escape")
203             this.search_entry.set_text("");
204
205         // Continue processing this event, since the
206         // text entry functionality needs to see it too.
207         return false;
208     }
209
210     private void load_id_cards() {
211         logger.trace("load_id_cards");
212
213         string current_idcard_nai = null;
214         if (this.custom_vbox.current_idcard != null) {
215             current_idcard_nai = custom_vbox.current_idcard.id_card.nai;
216             custom_vbox.current_idcard = null;
217         }
218         var children = this.custom_vbox.get_children();
219
220         custom_vbox.clear();
221         this.listmodel->clear();
222         LinkedList<IdCard> card_list = identities_manager.get_card_list() ;
223         if (card_list == null) {
224             return;
225         }
226
227         foreach (IdCard id_card in card_list) {
228             add_id_card_data(id_card);
229             IdCardWidget id_card_widget = add_id_card_widget(id_card);
230             if (id_card_widget.id_card.nai == current_idcard_nai) {
231                 // fill_details(id_card_widget.id_card);
232                 id_card_widget.expand();
233             }
234         }
235     }
236     
237     private IdCard update_id_card_data(IdentityDialog dialog, IdCard id_card)
238     {
239         id_card.display_name = dialog.display_name;
240         id_card.issuer = dialog.issuer;
241         id_card.username = dialog.username;
242         id_card.password = dialog.password;
243         id_card.store_password = dialog.store_password;
244         id_card.services = dialog.get_services();
245
246         return id_card;
247     }
248
249     private void add_id_card_data(IdCard id_card)
250     {
251         TreeIter   iter;
252         Gdk.Pixbuf pixbuf;
253         this.listmodel->append(out iter);
254         pixbuf = get_pixbuf(id_card);
255         listmodel->set(iter,
256                        Columns.IDCARD_COL, id_card,
257                        Columns.LOGO_COL, pixbuf,
258                        Columns.ISSUER_COL, id_card.issuer,
259                        Columns.USERNAME_COL, id_card.username,
260                        Columns.PASSWORD_COL, id_card.password);
261     }
262
263     private void remove_id_card_data(IdCard id_card)
264     {
265         TreeIter iter;
266         string issuer;
267
268         if (listmodel->get_iter_first(out iter))
269         {
270             do
271             {
272                 listmodel->get(iter,
273                                Columns.ISSUER_COL, out issuer);
274
275                 if (id_card.issuer == issuer)
276                 {
277                     listmodel->remove(iter);
278                     break;
279                 }
280             }
281             while (listmodel->iter_next(ref iter));
282         }
283     }
284
285     private IdCardWidget add_id_card_widget(IdCard id_card)
286     {
287         var id_card_widget = new IdCardWidget(id_card);
288         this.custom_vbox.add_id_card_widget(id_card_widget);
289         id_card_widget.expanded.connect(this.widget_selected_cb);
290         return id_card_widget;
291     }
292
293     private void widget_selected_cb(IdCardWidget id_card_widget)
294     {
295         this.remove_button.set_sensitive(true);
296         this.edit_button.set_sensitive(true);
297         this.custom_vbox.receive_expanded_event(id_card_widget);
298
299         if (this.request_queue.length > 0)
300              this.send_button.set_sensitive(true);
301     }
302
303     public bool add_identity(IdCard id_card, bool force_flat_file_store)
304     {
305         #if OS_MACOS
306         /* 
307          * TODO: We should have a confirmation dialog, but currently it will crash on Mac OS
308          * so for now we will install silently
309          */
310         var ret = Gtk.ResponseType.YES;
311         #else
312         Gtk.MessageDialog dialog;
313         IdCard? prev_id = identities_manager.find_id_card(id_card.nai, force_flat_file_store);
314         logger.trace("add_identity: find_id_card returned " + (prev_id != null ? "non-null" : "null"));
315         if (prev_id!=null) {
316             int flags = prev_id.Compare(id_card);
317             logger.trace("add_identity: compare returned " + flags.to_string());
318             if (flags == 0) {
319                 return false; // no changes, no need to update
320             } else if ((flags & (1 << IdCard.DiffFlags.DISPLAY_NAME)) != 0) {
321                 dialog = new Gtk.MessageDialog(this,
322                                                Gtk.DialogFlags.DESTROY_WITH_PARENT,
323                                                Gtk.MessageType.QUESTION,
324                                                Gtk.ButtonsType.YES_NO,
325                                                _("Would you like to replace ID Card '%s' using nai '%s' with the new ID Card '%s'?"),
326                                                prev_id.display_name,
327                                                prev_id.nai,
328                                                id_card.display_name);
329             } else {
330                 dialog = new Gtk.MessageDialog(this,
331                                                Gtk.DialogFlags.DESTROY_WITH_PARENT,
332                                                Gtk.MessageType.QUESTION,
333                                                Gtk.ButtonsType.YES_NO,
334                                                _("Would you like to update ID Card '%s' using nai '%s'?"),
335                                                id_card.display_name,
336                                                id_card.nai);
337             }
338         } else {
339             dialog = new Gtk.MessageDialog(this,
340                                            Gtk.DialogFlags.DESTROY_WITH_PARENT,
341                                            Gtk.MessageType.QUESTION,
342                                            Gtk.ButtonsType.YES_NO,
343                                            _("Would you like to add '%s' ID Card to the ID Card Organizer?"),
344                                            id_card.display_name);
345         }
346         var ret = dialog.run();
347         dialog.destroy();
348         #endif
349
350         if (ret == Gtk.ResponseType.YES) {
351             this.identities_manager.add_card(id_card, force_flat_file_store);
352             return true;
353         }
354         return false;
355     }
356
357     private void add_identity_cb()
358     {
359         var dialog = new IdentityDialog(this);
360         int result = ResponseType.CANCEL;
361         while (!dialog.complete)
362             result = dialog.run();
363
364         switch (result) {
365         case ResponseType.OK:
366             this.identities_manager.add_card(update_id_card_data(dialog, new IdCard()), false);
367             break;
368         default:
369             break;
370         }
371         dialog.destroy();
372     }
373
374     private void edit_identity_cb(IdCard card)
375     {
376         var dialog = new IdentityDialog.with_idcard(card, _("Edit Identity"), this);
377         int result = ResponseType.CANCEL;
378         while (!dialog.complete)
379             result = dialog.run();
380
381         switch (result) {
382         case ResponseType.OK:
383             this.identities_manager.update_card(update_id_card_data(dialog, card));
384             break;
385         default:
386             break;
387         }
388         dialog.destroy();
389     }
390
391     private void remove_identity(IdCardWidget id_card_widget)
392     {
393         var id_card = id_card_widget.id_card;
394         this.custom_vbox.remove_id_card_widget(id_card_widget);
395
396         this.identities_manager.remove_card(id_card);
397
398         // Nothing is selected, so disable buttons
399         this.edit_button.set_sensitive(false);
400         this.remove_button.set_sensitive(false);
401         this.send_button.set_sensitive(false);
402     }
403
404     private void redraw_id_card_widgets()
405     {
406         logger.trace("redraw_id_card_widgets");
407
408         TreeIter iter;
409         IdCard id_card;
410
411         var children = this.custom_vbox.get_children();
412         this.custom_vbox.clear();
413
414         if (filter.get_iter_first(out iter))
415         {
416             do
417             {
418                 filter.get(iter,
419                            Columns.IDCARD_COL, out id_card);
420
421                 add_id_card_widget(id_card);
422             }
423             while (filter.iter_next(ref iter));
424         }
425     }
426
427     private void remove_identity_cb(IdCardWidget id_card_widget)
428     {
429         var id_card = id_card_widget.id_card;
430
431         bool remove = WarningDialog.confirm(this, 
432                                             "<span font-weight='heavy'>You are about to remove the identity '%s'.</span>"
433                                             .printf(id_card.display_name)
434                                             + "\n\nAre you sure you want to do this?",
435                                             "delete_idcard");
436         if (remove) 
437             remove_identity(id_card_widget);
438     }
439
440     private void set_prompting_service(string service)
441     {
442         clear_selection_prompts();
443
444         var prompting_service = new Label(_("Identity requested for service:\n%s").printf(service));
445         prompting_service.set_line_wrap(true);
446
447         // left-align
448         prompting_service.set_alignment(0, (float )0.5);
449
450         var selection_prompt = new Label(_("Select your identity:"));
451         selection_prompt.set_alignment(0, 1);
452
453         this.service_prompt_vbox.pack_start(prompting_service, false, false, 12);
454         this.service_prompt_vbox.pack_start(selection_prompt, false, false, 2);
455         this.service_prompt_vbox.show_all();
456     }
457
458     private void clear_selection_prompts()
459     {
460         var list = service_prompt_vbox.get_children();
461         foreach (Widget w in list)
462         {
463             service_prompt_vbox.remove(w);
464         }
465     }
466
467
468     public void queue_identity_request(IdentityRequest request)
469     {
470         if (this.request_queue.is_empty())
471         { /* setup widgets */
472             candidates = request.candidates;
473             filter.refilter();
474             redraw_id_card_widgets();
475             set_prompting_service(request.service);
476             make_visible();
477         }
478         this.request_queue.push_tail(request);
479     }
480
481
482     /** Makes the window visible, or at least, notifies the user that the window
483      * wants to be visible.
484      *
485      * This differs from show() in that show() does not guarantee that the 
486      * window will be moved to the foreground. Actually, neither does this
487      * method, because the user's settings and window manager may affect the
488      * behavior significantly.
489      */
490     public void make_visible()
491     {
492         set_urgency_hint(true);
493         present();
494     }
495
496     public IdCard check_add_password(IdCard identity, IdentityRequest request, IdentityManagerModel model)
497     {
498         IdCard retval = identity;
499         bool idcard_has_pw = (identity.password != null) && (identity.password != "");
500         bool request_has_pw = (request.password != null) && (request.password != "");
501         if ((!idcard_has_pw) && (!identity.IsNoIdentity())) {
502             if (request_has_pw) {
503                 identity.password = request.password;
504                 retval = model.update_card(identity);
505             } else {
506                 var dialog = new AddPasswordDialog(identity, request);
507                 var result = dialog.run();
508
509                 switch (result) {
510                 case ResponseType.OK:
511                     identity.password = dialog.password;
512                     identity.store_password = dialog.remember;
513                     if (dialog.remember)
514                         identity.temporary = false;
515                     retval = model.update_card(identity);
516                     break;
517                 default:
518                     identity = null;
519                     break;
520                 }
521                 dialog.destroy();
522             }
523         }
524         return retval;
525     }
526
527     private void send_identity_cb(IdCard id)
528     {
529         IdCard identity = id;
530         return_if_fail(request_queue.length > 0);
531
532         candidates = null;
533         var request = this.request_queue.pop_head();
534         identity = check_add_password(identity, request, identities_manager);
535         if (this.request_queue.is_empty())
536         {
537             candidates = null;
538             clear_selection_prompts();
539             if (!parent_app.explicitly_launched) {
540 // The following occasionally causes the app to exit without sending the dbus
541 // reply, so for now we just don't exit
542 //                Gtk.main_quit();
543 // just hide instead
544                 this.hide();
545             }
546         } else {
547             IdentityRequest next = this.request_queue.peek_head();
548             candidates = next.candidates;
549             set_prompting_service(next.service);
550         }
551         filter.refilter();
552         redraw_id_card_widgets();
553
554         if ((identity != null) && (!identity.IsNoIdentity()))
555             parent_app.default_id_card = identity;
556
557         request.return_identity(identity);
558     }
559
560     // private void label_make_bold(Label label)
561     // {
562     //     var font_desc = new Pango.FontDescription();
563
564     //     font_desc.set_weight(Pango.Weight.BOLD);
565
566     //     /* This will only affect the weight of the font, the rest is
567     //      * from the current state of the widget, which comes from the
568     //      * theme or user prefs, since the font desc only has the
569     //      * weight flag turned on.
570     //      */
571     //     label.modify_font(font_desc);
572     // }
573
574     private void on_about_action()
575     {
576         string copyright = "Copyright 2011, 2016 JANET";
577
578         string license =
579         """
580 Copyright (c) 2011, 2016 JANET(UK)
581 All rights reserved.
582
583 Redistribution and use in source and binary forms, with or without
584 modification, are permitted provided that the following conditions
585 are met:
586
587 1. Redistributions of source code must retain the above copyright
588    notice, this list of conditions and the following disclaimer.
589
590 2. Redistributions in binary form must reproduce the above copyright
591    notice, this list of conditions and the following disclaimer in the
592    documentation and/or other materials provided with the distribution.
593
594 3. Neither the name of JANET(UK) nor the names of its contributors
595    may be used to endorse or promote products derived from this software
596    without specific prior written permission.
597
598 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS \"AS IS\"
599 AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
600 IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
601 ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
602 FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
603 DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
604 OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
605 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
606 LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
607 OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
608 SUCH DAMAGE.
609 """;
610
611         Gtk.show_about_dialog(this,
612                               "comments", _("Moonshot project UI"),
613                               "copyright", copyright,
614                               "website", Config.PACKAGE_URL,
615                               "version", Config.PACKAGE_VERSION,
616                               "license", license,
617                               "website-label", _("Visit the Moonshot project web site"),
618                               "translator-credits", _("translator-credits"),
619                               null
620             );
621     }
622
623     private Gtk.ActionEntry[] create_actions() {
624         Gtk.ActionEntry[] actions = new Gtk.ActionEntry[0];
625
626         Gtk.ActionEntry helpmenu = { "HelpMenuAction",
627                                      null,
628                                      N_("_Help"),
629                                      null, null, null };
630         actions += helpmenu;
631         Gtk.ActionEntry about = { "AboutAction",
632                                   #if VALA_0_12
633                                   Stock.ABOUT,
634                                   #else
635                                   STOCK_ABOUT,
636                                   #endif
637                                   N_("About"),
638                                   null,
639                                   N_("About this application"),
640                                   on_about_action };
641         actions += about;
642
643         return actions;
644     }
645
646
647     private void create_ui_manager()
648     {
649         Gtk.ActionGroup action_group = new Gtk.ActionGroup("GeneralActionGroup");
650         action_group.add_actions(create_actions(), this);
651         ui_manager.insert_action_group(action_group, 0);
652         try
653         {
654             ui_manager.add_ui_from_string(menu_layout, -1);
655         }
656         catch (Error e)
657         {
658             stderr.printf("%s\n", e.message);
659             logger.error("create_ui_manager: Caught error: " + e.message);
660         }
661         ui_manager.ensure_update();
662     }
663
664     private void build_ui()
665     {
666         // Note: On Debian7/Gtk+2, the menu bar remains gray. This doesn't happen on Debian8/Gtk+3.
667         Gdk.Color white = Gdk.Color();
668         white.red = white.green = white.blue = 65535;
669         this.modify_bg(StateType.NORMAL, white);
670
671         create_ui_manager();
672
673         this.search_entry = new Entry();
674
675         set_atk_name_description(search_entry, _("Search entry"), _("Search for a specific ID Card"));
676         this.search_entry.set_icon_from_pixbuf(EntryIconPosition.PRIMARY,
677                                                find_icon_sized("edit-find", Gtk.IconSize.MENU));
678         this.search_entry.set_icon_tooltip_text(EntryIconPosition.PRIMARY,
679                                                 _("Search for an identity or service"));
680         this.search_entry.set_icon_sensitive(EntryIconPosition.PRIMARY, false);
681
682         this.search_entry.set_icon_from_pixbuf(EntryIconPosition.SECONDARY,
683                                                find_icon_sized("process-stop", Gtk.IconSize.MENU));
684         this.search_entry.set_icon_tooltip_text(EntryIconPosition.SECONDARY,
685                                                 _("Clear the current search"));
686         this.search_entry.set_icon_sensitive(EntryIconPosition.SECONDARY, false);
687
688
689         this.search_entry.icon_press.connect(search_entry_icon_press_cb);
690         this.search_entry.notify["text"].connect(search_entry_text_changed_cb);
691         this.search_entry.key_press_event.connect(search_entry_key_press_event_cb);
692         this.search_entry.set_width_chars(30);
693
694
695         this.custom_vbox = new CustomVBox(this, false, 2);
696
697         var viewport = new Viewport(null, null);
698         viewport.set_border_width(2);
699         viewport.set_shadow_type(ShadowType.NONE);
700         viewport.add(custom_vbox);
701         var id_scrollwin = new ScrolledWindow(null, null);
702         id_scrollwin.set_policy(PolicyType.NEVER, PolicyType.AUTOMATIC);
703         id_scrollwin.set_shadow_type(ShadowType.IN);
704         id_scrollwin.add_with_viewport(viewport);
705
706         service_prompt_vbox = new VBox(false, 0);
707
708         var vbox_left = new VBox(false, 0);
709         vbox_left.pack_start(service_prompt_vbox, false, false, 12);
710
711         var search_hbox = new HBox(false, 6);
712         search_hbox.pack_end(search_entry, false, false, 0);
713         //// var search_label = new Label(_("Search:"));
714         //// search_label.set_alignment(1, (float) 0.5);
715         //// set_atk_relation(search_label, search_entry, Atk.RelationType.LABEL_FOR);
716         //// search_hbox.pack_end(search_label, false, false, 6);
717
718         var full_search_label = new Label(_("Search for an identity or service"));
719         full_search_label.set_alignment(1, 0);
720         var search_vbox = new VBox(false, 4);
721         search_vbox.pack_start(full_search_label, false, false, 0);
722         search_vbox.pack_start(search_hbox, false, false, 0);
723
724         var inner_left_vbox = new VBox(false, 6);
725         inner_left_vbox.pack_start(search_vbox, false, false, 6);
726 //        inner_left_vbox.pack_start(selection_prompt, false, false, 6);
727         inner_left_vbox.pack_start(id_scrollwin, true, true, 0);
728
729         var id_and_button_box = new HBox(false, 6);
730         id_and_button_box.pack_start(inner_left_vbox, true, true, 6);
731         vbox_left.pack_start(id_and_button_box, true, true, 0);
732         // vbox_left.pack_start(prompting_service, false, false, 6);
733         vbox_left.set_size_request(WINDOW_WIDTH, 0);
734
735         this.no_identity_title = new Label(_("No Identity: Send this identity to services which should not use Moonshot"));
736         no_identity_title.set_alignment(0, (float ) 0.5);
737         no_identity_title.set_line_wrap(true);
738         no_identity_title.show();
739
740         this.vbox_right = new VBox(false, 6);
741
742         var add_button = new Button.with_label(_("Add"));
743         add_button.clicked.connect((w) => {add_identity_cb();});
744
745         this.edit_button = new Button.with_label(_("Edit"));
746         edit_button.clicked.connect((w) => {edit_identity_cb(custom_vbox.current_idcard.id_card);});
747         edit_button.set_sensitive(false);
748
749         this.remove_button = new Button.with_label(_("Remove"));
750         remove_button.clicked.connect((w) => {remove_identity_cb(custom_vbox.current_idcard);});
751         remove_button.set_sensitive(false);
752
753         send_button = new Button.with_label(_("Send"));
754         send_button.clicked.connect((w) => {send_identity_cb(custom_vbox.current_idcard.id_card);});
755         // send_button.set_visible(false);
756         send_button.set_sensitive(false);
757
758         var empty_box = new VBox(false, 0);
759         empty_box.set_size_request(0, 0);
760         vbox_right.pack_start(empty_box, false, false, 14);
761         vbox_right.pack_start(add_button, false, false, 6);
762         vbox_right.pack_start(edit_button, false, false, 6);
763         vbox_right.pack_start(remove_button, false, false, 6);
764         vbox_right.pack_start(send_button, false, false, 24);
765
766         id_and_button_box.pack_start(vbox_right, false, false, 0);
767
768         var main_vbox = new VBox(false, 0);
769
770         // Note: This places a border above the menubar. Is that what we want?
771         main_vbox.set_border_width(12);
772
773 #if OS_MACOS
774         // hide the  File | Quit menu item which is now on the Mac Menu
775 //        Gtk.Widget quit_item =  this.ui_manager.get_widget("/MenuBar/FileMenu/Quit");
776 //        quit_item.hide();
777         
778         Gtk.MenuShell menushell = this.ui_manager.get_widget("/MenuBar") as Gtk.MenuShell;
779         menushell.modify_bg(StateType.NORMAL, white);
780
781         osxApp.set_menu_bar(menushell);
782         osxApp.set_use_quartz_accelerators(true);
783         osxApp.sync_menu_bar();
784         osxApp.ready();
785 #else
786         var menubar = this.ui_manager.get_widget("/MenuBar");
787         main_vbox.pack_start(menubar, false, false, 0);
788         menubar.modify_bg(StateType.NORMAL, white);
789 #endif
790         main_vbox.pack_start(vbox_left, true, true, 0);
791         add(main_vbox);
792         main_vbox.show_all();
793     } 
794
795     private void set_atk_name_description(Widget widget, string name, string description)
796     {
797         var atk_widget = widget.get_accessible();
798
799         atk_widget.set_name(name);
800         atk_widget.set_description(description);
801     }
802
803     private void connect_signals()
804     {
805         this.destroy.connect(Gtk.main_quit);
806         this.identities_manager.card_list_changed.connect(this.on_card_list_changed);
807     }
808
809     private static void set_atk_relation(Widget widget, Widget target_widget, Atk.RelationType relationship)
810     {
811         var atk_widget = widget.get_accessible();
812         var atk_target_widget = target_widget.get_accessible();
813
814         atk_widget.add_relationship(relationship, atk_target_widget);
815     }
816 }