public static void initGui(MinecraftServer minecraftserver)
{
try
{
UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
}
catch (Exception)
{
}
var servergui = new ServerGUI(minecraftserver);
var jframe = new JFrame("Minecraft server");
jframe.add(servergui);
jframe.pack();
jframe.setLocationRelativeTo(null);
jframe.setVisible(true);
jframe.addWindowListener(new ServerWindowAdapter(minecraftserver));
}
private ServerGUI mcServerGui; /* synthetic field */
#endregion Fields
#region Constructors
public ServerGuiFocusAdapter(ServerGUI servergui)
{
mcServerGui = servergui;
//
}
private readonly JTextField textField; /* synthetic field */
#endregion Fields
#region Constructors
public ServerGuiCommandListener(ServerGUI servergui, JTextField jtextfield)
{
mcServerGui = servergui;
textField = jtextfield;
//
}
private ServerGUI mcServerGui; /* synthetic field */
public ServerGuiFocusAdapter(ServerGUI servergui)
{
mcServerGui = servergui;
//
}
public static MinecraftServer getMinecraftServer(ServerGUI servergui)
{
return(servergui.mcServer);
}
public static MinecraftServer getMinecraftServer(ServerGUI servergui)
{
return servergui.mcServer;
}
private readonly JTextField textField; /* synthetic field */
public ServerGuiCommandListener(ServerGUI servergui, JTextField jtextfield)
{
mcServerGui = servergui;
textField = jtextfield;
//
}
