src/moonshot-custom-vbox.vala

   1 /*
   2  * Copyright (c) 2011-2014, 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 Gtk;
  33
  34 class CustomVBox : VBox
  35 {
  36     public IdCardWidget current_idcard { get; set; default = null; }
  37     private IdentityManagerView main_window;
  38
  39     public CustomVBox (IdentityManagerView window, bool homogeneous, int spacing)
  40     {
  41         main_window = window;
  42         set_homogeneous (homogeneous);
  43         set_spacing (spacing);
  44     }
  45
  46     public void receive_expanded_event (IdCardWidget id_card_widget)
  47     {
  48         var list = get_children ();
  49         foreach (Widget id_card in list)
  50         {
  51             if (id_card != id_card_widget)
  52                 ((IdCardWidget) id_card).collapse ();
  53         }
  54         current_idcard = id_card_widget;
  55
  56         if (current_idcard != null && main_window.request_queue.length > 0)
  57             current_idcard.send_button.set_sensitive (true);
  58         check_resize();
  59     }
  60
  61     public void add_id_card_widget (IdCardWidget id_card_widget)
  62     {
  63         pack_start (id_card_widget, false, false);
  64     }
  65
  66     public void remove_id_card_widget (IdCardWidget id_card_widget)
  67     {
  68         remove (id_card_widget);
  69     }
  70 }