Removed remove_id_card(), which is no longer needed
authorDan Breslau <dbreslau@painless-security.com>
Mon, 22 Aug 2016 17:01:15 +0000 (13:01 -0400)
committerDan Breslau <dbreslau@painless-security.com>
Mon, 22 Aug 2016 17:01:15 +0000 (13:01 -0400)
src/moonshot-custom-vbox.vala

index bc86729..49f0a6a 100644 (file)
@@ -77,19 +77,6 @@ class CustomVBox : VBox
         return null;
     }
 
-    public void remove_id_card(IdCard id_card)
-    {
-        logger.trace("remove_id_card: Have %u children".printf(get_children().length()));
-        var widget = find_idcard_widget(id_card);
-        if (widget != null) {
-            logger.trace(@"remove_id_card: Removing '$(id_card.display_name)'");
-            remove(widget);
-        }
-        else {
-            logger.trace(@"remove_id_card: Couldn't find widget for '$(id_card.display_name)'");
-        }
-    }
-
     internal void clear()
     {
         logger.trace("clear");