[ref_impl_eiffel] [1277] Correct the default editor commands for Mac OS X:

Revision: 1277
Author: peter.gummer
Log Message: