結果 : how to change external editor in github desktop