Added eclipse navigating key preference