use Text Font from preferences

Ge the text font from JFaceResources, which is set via the
eclipse TextFont preference and listen to changes while the editor is
open.