This section describes how to customize preferences for Robot Programming.
Translator Preferences Java Preferences