private NSEventModifierMask GetModifierMask(KeyAccelerator accel) {
NSEventModifierMask mask = default(NSEventModifierMask);
if(accel.Modifiers.HasFlag(KeyboardKeyModifiers.Command)) {
mask |= NSEventModifierMask.CommandKeyMask;
}
if(accel.Modifiers.HasFlag(KeyboardKeyModifiers.Shift)) {
mask |= NSEventModifierMask.ShiftKeyMask;
}
if(accel.Modifiers.HasFlag(KeyboardKeyModifiers.Alt)) {
mask |= NSEventModifierMask.AlternateKeyMask;
}
if(accel.Modifiers.HasFlag(KeyboardKeyModifiers.Control)) {
mask |= NSEventModifierMask.ControlKeyMask;
}
return mask;
}
private string GetInputGestureText(KeyAccelerator accelerator) {
StringBuilder sb = new StringBuilder();
if(accelerator.Modifiers.HasFlag(KeyboardKeyModifiers.Control)) {
sb.Append("Ctrl");
}
if(accelerator.Modifiers.HasFlag(KeyboardKeyModifiers.Shift)) {
if(sb.Length > 0) { sb.Append("+"); }
sb.Append("Shift");
}
if(accelerator.Modifiers.HasFlag(KeyboardKeyModifiers.Alt)) {
if(sb.Length > 0) { sb.Append("+"); }
sb.Append("Alt");
}
if(sb.Length > 0) { sb.Append("+"); }
sb.Append(accelerator.Key.ConfigurationString);
return sb.ToString();
}
