src/main/java/com/keenwrite/preferences/PreferencesController.java

		Setting.of( label( KEY_TYPESET_CONTEXT_PATH ) ),
		Setting.of( title( KEY_TYPESET_CONTEXT_PATH ),
		- stringProperty( KEY_TYPESET_CONTEXT_PATH ) ),
		+ fileProperty( KEY_TYPESET_CONTEXT_PATH ), true ),
		Setting.of( label( KEY_TYPESET_CONTEXT_ENV ) ),
		Setting.of( title( KEY_TYPESET_CONTEXT_ENV ),

src/main/java/com/keenwrite/preferences/Workspace.java

		entry( KEY_LANGUAGE_LOCALE, asLocaleProperty( LOCALE_DEFAULT ) ),

		- entry( KEY_TYPESET_CONTEXT_PATH, asStringProperty( USER_DIRECTORY.toString() ) ),
		+ entry( KEY_TYPESET_CONTEXT_PATH, asFileProperty( USER_DIRECTORY ) ),
		entry( KEY_TYPESET_CONTEXT_ENV, asStringProperty( "" ) )
		);

Switch themes path to directory preference