Add shortcut for File->Properties

Authored by yurchor on Jun 3 2020, 9:43 AM.