private void LabelTextChanged (object sender, EventArgs e) { if (edit_args != null) edit_args.SetLabel (edit_text_box.Text); }