Added a way to change PlayerList Header and Footer

2021-11-24 01:52:26 -05:00
parent 7e81f6b3be
commit 120f9dce3f
6 changed files with 113 additions and 2 deletions
@@ -55,6 +55,9 @@ public class ServerProperties {
 	private boolean resourcePackRequired;
 	private String resourcePackPrompt;
 	
+	private String tabHeader;
+	private String tabFooter;
+
 	Optional<BufferedImage> favicon;

 	public ServerProperties(File file) throws IOException {
@@ -133,6 +136,9 @@ public class ServerProperties {
 		resourcePackRequired = Boolean.parseBoolean(prop.getProperty("required-resource-pack"));
 		resourcePackPrompt = prop.getProperty("resource-pack-prompt");
 		
+		tabHeader = prop.getProperty("tab-header");
+		tabFooter = prop.getProperty("tab-footer");
+		
 		File png = new File("server-icon.png");
 		if (png.exists()) {
 			try {
@@ -268,5 +274,13 @@ public class ServerProperties {
 	public String getResourcePackPrompt() {
 		return resourcePackPrompt;
 	}
+	
+	public String getTabHeader() {
+		return tabHeader;
+	}
+	
+	public String getTabFooter() {
+		return tabFooter;
+	}

 }