Update ProfilesListWidget.java

This commit is contained in:
AxolotlMaid 2023-04-29 13:29:44 +01:00 committed by GitHub
parent 4d38676db5
commit 335b7c67b1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -28,6 +28,7 @@ public class ProfilesListWidget extends ElementListWidget<ProfilesListWidget.Ent
for (File profile : Objects.requireNonNull(profilesDirectory.listFiles())) { for (File profile : Objects.requireNonNull(profilesDirectory.listFiles())) {
String profileName = FilenameUtils.removeExtension(profile.getName()); String profileName = FilenameUtils.removeExtension(profile.getName());
this.addEntry(new ProfilesListWidget.ProfileEntry(Text.of(profileName)));
// Sodium // Sodium
// This code doesn't work yet // This code doesn't work yet