General preference page
In General preference page a subset of the most common general preferences
from Eclipse can be set (appearance of colors and fonts, editors file associations,
different text editors' options, keys bindings, perspectives and workspace options, etc.).