gpPlugin::GetConfig(),  gpPlugin::SaveConfig(), syntax highlighter color theme option