No matches were found for subject:"\[Vala\] Difference between setting \"vapidir\" and adding a .vapi file \(was \"Global key shortcuts\"\)"