From 40e97c5474ef86762734499e1c922140c985875f Mon Sep 17 00:00:00 2001 From: Peter Dell Date: Sun, 6 Aug 2023 23:55:27 +0200 Subject: [PATCH] Set text encoding to UTF-8 for help HTML files --- .../.settings/org.eclipse.core.resources.prefs | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/com.wudsn.ide.lng/.settings/org.eclipse.core.resources.prefs b/com.wudsn.ide.lng/.settings/org.eclipse.core.resources.prefs index ab1e34d0..3ecccfeb 100644 --- a/com.wudsn.ide.lng/.settings/org.eclipse.core.resources.prefs +++ b/com.wudsn.ide.lng/.settings/org.eclipse.core.resources.prefs @@ -1,3 +1,10 @@ eclipse.preferences.version=1 encoding//help/create-help-links.bat=ISO-8859-1 -encoding/help=UTF-8 +encoding//help/ide-credits.section.html=UTF-8 +encoding//help/ide-faq.section.html=UTF-8 +encoding//help/ide-features.section.html=UTF-8 +encoding//help/ide-installation.section.html=UTF-8 +encoding//help/ide-releases.section.html=UTF-8 +encoding//help/ide-tutorials-videos.html=UTF-8 +encoding//help/ide-tutorials.section.html=UTF-8 +encoding/=UTF-8