src/vs/editor/common/config/editorOptions.ts/EditorStringOption/string
class EditorStringOption:	public static string(value: any, defaultValue: string): string {
		if (typeof value !== 'string') {
			return defaultValue;
		}
		return value;
	}