Editing your server.properties file allows you to change all the settings for your Minecraft server.
In order to edit it, click on the Manage button for your Minecraft server instance:

Select File Manager:

Double-click on server.properties file and the Text Editor window will be opened.
There you will be able to edit all the needed parameters 😊