[ Thanks to Brendan Scott for this
link. ]
“There are two more things to do with our Minecraft config file
editor before we?ve got the main part of it working (we may do some
tweaking later). We need to:
add the Ok and Cancel buttons back; and
when someone clicks Ok, we need to update the server.properties
file“We?re doing the first of these today. We saw earlier how to do
the Ok and Cancel buttons, although at the time we didn?t actually
put any meat in the functions they called. So, let?s fill that out
now. For Cancel, we are just going to quit the editor without
making any changes ? that?s pretty easy.”