Forums Feature Suggestions $key identifier

f1 {
  if ($key) { echo F1 key pressed }
  else { echo F1 called as an alias }
}
f6 { f1 }