void HandlePopulate(object obj, EventArgs args) { foreach (Widget child in Children) { Remove(child); child.Destroy(); } popup.Activate(null, literal, this, false); }
private void HandleButtonPress(object o, ButtonPressEventArgs args) { args.RetVal = true; switch (args.Event.Type) { case EventType.TwoButtonPress: if (args.Event.Button == 1) { IsNegated = !IsNegated; } else { args.RetVal = false; } return; case EventType.ButtonPress: Widget.GrabFocus(); if (args.Event.Button == 1) { // TODO allow multiple selection of literals so they can be deleted, modified all at once //if ((args.Event.State & ModifierType.ControlMask) != 0) { //} } else if (args.Event.Button == 3) { LiteralPopup popup = new LiteralPopup(); popup.Activate(args.Event, this); } return; default: args.RetVal = false; return; } }
void HandleButtonPress(object o, ButtonPressEventArgs args) { args.RetVal = true; switch (args.Event.Type) { case EventType.TwoButtonPress: if (args.Event.Button == 1) IsNegated = !IsNegated; else args.RetVal = false; return; case EventType.ButtonPress: Widget.GrabFocus (); if (args.Event.Button == 1) { // TODO allow multiple selection of literals so they can be deleted, modified all at once //if ((args.Event.State & ModifierType.ControlMask) != 0) { //} } else if (args.Event.Button == 3) { var popup = new LiteralPopup (); popup.Activate (args.Event, this); } return; default: args.RetVal = false; return; } }