L'édition de votre fichier server.properties vous permet de modifier tous les paramètres de votre serveur Minecraft.
Afin de le modifier, cliquez sur le bouton "Gérer" de votre instance de serveur Minecraft :
Sélectionnez Gestionnaire de fichiers :
Double-cliquez sur le fichier server.properties et la fenêtre de l'éditeur de texte s'ouvrira.
Vous pourrez y modifier tous les paramètres nécessaires 😊