+void Dropdown::open_list()
+{
+ dropped = true;
+ list.set_visible(true);
+ resize_list();
+ set_state(ACTIVE);
+ set_input_focus(&list);
+ signal_grab_pointer.emit();
+}
+
+void Dropdown::close_list()
+{
+ dropped = false;
+ list.set_visible(false);
+ clear_state(ACTIVE);
+ signal_ungrab_pointer.emit();
+}
+