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