static string AppleMapModifierToSymbols(Gdk.ModifierType mod)
{
string ret = "";
if ((mod & Gdk.ModifierType.ControlMask) != 0)
{
ret += "⌃";
mod ^= Gdk.ModifierType.ControlMask;
}
if ((mod & Gdk.ModifierType.Mod1Mask) != 0)
{
ret += "⌥";
mod ^= Gdk.ModifierType.Mod1Mask;
}
if ((mod & Gdk.ModifierType.ShiftMask) != 0)
{
ret += "⇧";
mod ^= Gdk.ModifierType.ShiftMask;
}
if ((mod & Gdk.ModifierType.MetaMask) != 0)
{
ret += "⌘";
mod ^= Gdk.ModifierType.MetaMask;
}
if (mod != 0)
{
throw new InvalidOperationException("Unexpected modifiers: " + mod.ToString());
}
return(ret);
}
