added some Unix keyboard shortcuts