Some options like editor local options should be grayed
if no editor is opened. It could help to avoid
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.