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, file associations,
different text editors' options, key bindings, perspectives, workspace options, etc.).