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