Fix Hannah-Sten#3537

jojo2357 · May 4, 2024 · ace3c25 · ace3c25
1 parent 04d73ad
commit ace3c25
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/src/nl/hannahsten/texifyidea/lang/commands/RequiredFileArgument.kt b/src/nl/hannahsten/texifyidea/lang/commands/RequiredFileArgument.kt
@@ -52,9 +52,8 @@ open class RequiredFileArgument(name: String?, open val isAbsolutePathSupported:
  regex.append("(")
  for (extension in extensions) {
  regex.append("\\.")
- val extensionLower = extension.lowercase(Locale.getDefault())
- regex.append(extensionLower)
- supportedExtensions.add(extensionLower)
+ regex.append(extension)
+ supportedExtensions.add(extension)
  if (extension != extensions[extensions.size - 1]) {
  regex.append("|")
  }

diff --git a/src/nl/hannahsten/texifyidea/util/Strings.kt b/src/nl/hannahsten/texifyidea/util/Strings.kt
@@ -82,11 +82,11 @@ fun String.getIndent(): String {
 fun String.appendExtension(extensionWithoutDot: String): String {
  if (extensionWithoutDot == "") return this
 
- val dottedExtension = ".${extensionWithoutDot.lowercase(Locale.getDefault())}"
+ val dottedExtension = ".${extensionWithoutDot}"
  val thisLower = lowercase(Locale.getDefault())
 
  return when {
- thisLower.endsWith(dottedExtension) -> this
+ thisLower.endsWith(dottedExtension.lowercase(Locale.getDefault())) -> this
  endsWith('.') -> this + extensionWithoutDot
  else -> this + dottedExtension
  }