gt:         float var6 = (float)this.height * var5 / 256.0F;
context: package net.minecraft.src;
  
  import java.io.BufferedReader;
  import java.io.IOException;
  import java.io.InputStreamReader;
  import java.net.URI;
  import java.util.ArrayList;
  import java.util.Calendar;
  import java.util.Date;
  import java.util.Random;
  import org.apache.commons.io.Charsets;
  import org.lwjgl.opengl.GL11;
  import org.lwjgl.util.glu.Project;
  
  public class GuiMainMenu extends GuiScreen
  {
      /** The RNG used by the Main Menu Screen. */
      private static final Random rand = new Random();
  
      /** Counts the number of screen updates. */
      private float updateCounter;
  
      /** The splash message. */
      private String splashText = "missingno";
      private GuiButton buttonResetDemo;
  
      /** Timer used to rotate the panorama, increases every tick. */
      private int panoramaTimer;
  
      /**
       * Texture allocated for the current viewport of the main menu's panorama background.
       */
      private DynamicTexture viewportTexture;
      private boolean field_96141_q = true;
      private static boolean field_96140_r;
      private static boolean field_96139_s;
      private final Object field_104025_t = new Object();
      private String field_92025_p;
      private String field_104024_v;
      private static final ResourceLocation splashTexts = new ResourceLocation("texts/splashes.txt");
      private static final ResourceLocation minecraftTitleTextures = new ResourceLocation("textures/gui/title/minecraft.png");
  
      /** An array of all the paths to the panorama pictures. */
      private static final ResourceLocation[] titlePanoramaPaths = new ResourceLocation[] {new ResourceLocation("textures/gui/title/background/panorama_0.png"), new ResourceLocation("textures/gui/title/background/panorama_1.png"), new ResourceLocation("textures/gui/title/background/panorama_2.png"), new ResourceLocation("textures/gui/title/background/panorama_3.png"), new ResourceLocation("textures/gui/title/background/panorama_4.png"), new ResourceLocation("textures/gui/title/background/panorama_5.png")};
      public static final String field_96138_a = "Please click " + EnumChatFormatting.UNDERLINE + "here" + EnumChatFormatting.RESET + " for more information.";
      private int field_92024_r;
      private int field_92023_s;
      private int field_92022_t;
      private int field_92021_u;
      private int field_92020_v;
      private int field_92019_w;
      private ResourceLocation field_110351_G;
      private GuiButton minecraftRealmsButton;
  
      public GuiMainMenu()
      {
          BufferedReader var1 = null;
          String var3;
  
          try
          {
              ArrayList var2 = new ArrayList();
              var1 = new BufferedReader(new InputStreamReader(Minecraft.getMinecraft().getResourceManager().getResource(splashTexts).getInputStream(), Charsets.UTF_8));
  
              while ((var3 = var1.readLine()) != null)
              {
                  var3 = var3.trim();
  
                  if (!var3.isEmpty())
                  {
                      var2.add(var3);
                  }
              }
  
              do
              {
                  this.splashText = (String)var2.get(rand.nextInt(var2.size()));
              }
              while (this.splashText.hashCode() == 125780783);
          }
          catch (IOException var12)
          {
              ;
          }
          finally
          {
              if (var1 != null)
              {
                  try
                  {
                      var1.close();
                  }
                  catch (IOException var11)
                  {
                      ;
                  }
              }
          }
  
          this.updateCounter = rand.nextFloat();
          this.field_92025_p = "";
          String var14 = System.getProperty("os_architecture");
          var3 = System.getProperty("java_version");
  
          if ("ppc".equalsIgnoreCase(var14))
          {
              this.field_92025_p = "" + EnumChatFormatting.BOLD + "Notice!" + EnumChatFormatting.RESET + " PowerPC compatibility will be dropped in Minecraft 1.6";
              this.field_104024_v = "http://tinyurl.com/javappc";
          }
          else if (var3 != null && var3.startsWith("1.5"))
          {
              this.field_92025_p = "" + EnumChatFormatting.BOLD + "Notice!" + EnumChatFormatting.RESET + " Java 1.5 compatibility will be dropped in Minecraft 1.6";
              this.field_104024_v = "http://tinyurl.com/javappc";
          }
      }
  
      /**
       * Called from the main game loop to update the screen.
       */
      public void updateScreen()
      {
          ++this.panoramaTimer;
      }
  
      /**
       * Returns true if this GUI should pause the game when it is displayed in single-player
       */
      public boolean doesGuiPauseGame()
      {
          return false;
      }
  
      /**
       * Fired when a key is typed. This is the equivalent of KeyListener.keyTyped(KeyEvent e).
       */
      protected void keyTyped(char par1, int par2) {}
  
      /**
       * Adds the buttons (and other controls) to the screen in question.
       */
      public void initGui()
      {
          this.viewportTexture = new DynamicTexture(256, 256);
          this.field_110351_G = this.mc.getTextureManager().getDynamicTextureLocation("background", this.viewportTexture);
          Calendar var1 = Calendar.getInstance();
          var1.setTime(new Date());
  
          if (var1.get(2) + 1 == 11 && var1.get(5) == 9)
          {
              this.splashText = "Happy birthday, ez!";
          }
          else if (var1.get(2) + 1 == 6 && var1.get(5) == 1)
          {
              this.splashText = "Happy birthday, Notch!";
          }
          else if (var1.get(2) + 1 == 12 && var1.get(5) == 24)
          {
              this.splashText = "Merry X-mas!";
          }
          else if (var1.get(2) + 1 == 1 && var1.get(5) == 1)
          {
              this.splashText = "Happy new year!";
          }
          else if (var1.get(2) + 1 == 10 && var1.get(5) == 31)
          {
              this.splashText = "OOoooOOOoooo! Spooky!";
          }
  
          boolean var2 = true;
          int var3 = this.height / 4 + 48;
  
          if (this.mc.isDemo())
          {
              this.addDemoButtons(var3, 24);
          }
          else
          {
              this.addSingleplayerMultiplayerButtons(var3, 24);
          }
  
          this.func_130020_g();
          this.buttonList.add(new GuiButton(0, this.width / 2 - 100, var3 + 72 + 12, 98, 20, I18n.getString("menu.options")));
          this.buttonList.add(new GuiButton(4, this.width / 2 + 2, var3 + 72 + 12, 98, 20, I18n.getString("menu.quit")));
          this.buttonList.add(new GuiButtonLanguage(5, this.width / 2 - 124, var3 + 72 + 12));
          Object var4 = this.field_104025_t;
  
          synchronized (this.field_104025_t)
          {
              this.field_92023_s = this.fontRenderer.getStringWidth(this.field_92025_p);
              this.field_92024_r = this.fontRenderer.getStringWidth(field_96138_a);
              int var5 = Math.max(this.field_92023_s, this.field_92024_r);
              this.field_92022_t = (this.width - var5) / 2;
              this.field_92021_u = ((GuiButton)this.buttonList.get(0)).yPosition - 24;
              this.field_92020_v = this.field_92022_t + var5;
              this.field_92019_w = this.field_92021_u + 24;
          }
      }
  
      private void func_130020_g()
      {
          if (this.field_96141_q)
          {
              if (!field_96140_r)
              {
                  field_96140_r = true;
                  (new RunnableTitleScreen(this)).start();
              }
              else if (field_96139_s)
              {
                  this.func_130022_h();
              }
          }
      }
  
      private void func_130022_h()
      {
          this.minecraftRealmsButton.drawButton = true;
      }
  
      /**
       * Adds Singleplayer and Multiplayer buttons on Main Menu for players who have bought the game.
       */
      private void addSingleplayerMultiplayerButtons(int par1, int par2)
      {
          this.buttonList.add(new GuiButton(1, this.width / 2 - 100, par1, I18n.getString("menu.singleplayer")));
          this.buttonList.add(new GuiButton(2, this.width / 2 - 100, par1 + par2 * 1, I18n.getString("menu.multiplayer")));
          this.buttonList.add(this.minecraftRealmsButton = new GuiButton(14, this.width / 2 - 100, par1 + par2 * 2, I18n.getString("menu.online")));
          this.minecraftRealmsButton.drawButton = false;
      }
  
      /**
       * Adds Demo buttons on Main Menu for players who are playing Demo.
       */
      private void addDemoButtons(int par1, int par2)
      {
          this.buttonList.add(new GuiButton(11, this.width / 2 - 100, par1, I18n.getString("menu.playdemo")));
          this.buttonList.add(this.buttonResetDemo = new GuiButton(12, this.width / 2 - 100, par1 + par2 * 1, I18n.getString("menu.resetdemo")));
          ISaveFormat var3 = this.mc.getSaveLoader();
          WorldInfo var4 = var3.getWorldInfo("Demo_World");
  
          if (var4 == null)
          {
              this.buttonResetDemo.enabled = false;
          }
      }
  
      /**
       * Fired when a control is clicked. This is the equivalent of ActionListener.actionPerformed(ActionEvent e).
       */
      protected void actionPerformed(GuiButton par1GuiButton)
      {
          if (par1GuiButton.id == 0)
          {
              this.mc.displayGuiScreen(new GuiOptions(this, this.mc.gameSettings));
          }
  
          if (par1GuiButton.id == 5)
          {
              this.mc.displayGuiScreen(new GuiLanguage(this, this.mc.gameSettings, this.mc.getLanguageManager()));
          }
  
          if (par1GuiButton.id == 1)
          {
              this.mc.displayGuiScreen(new GuiSelectWorld(this));
          }
  
          if (par1GuiButton.id == 2)
          {
              this.mc.displayGuiScreen(new GuiMultiplayer(this));
          }
  
          if (par1GuiButton.id == 14 && this.minecraftRealmsButton.drawButton)
          {
              this.func_140005_i();
          }
  
          if (par1GuiButton.id == 4)
          {
              this.mc.shutdown();
          }
  
          if (par1GuiButton.id == 11)
          {
              this.mc.launchIntegratedServer("Demo_World", "Demo_World", DemoWorldServer.demoWorldSettings);
          }
  
          if (par1GuiButton.id == 12)
          {
              ISaveFormat var2 = this.mc.getSaveLoader();
              WorldInfo var3 = var2.getWorldInfo("Demo_World");
  
              if (var3 != null)
              {
                  GuiYesNo var4 = GuiSelectWorld.getDeleteWorldScreen(this, var3.getWorldName(), 12);
                  this.mc.displayGuiScreen(var4);
              }
          }
      }
  
      private void func_140005_i()
      {
          McoClient var1 = new McoClient(this.mc.getSession());
  
          try
          {
              if (var1.func_140054_c().booleanValue())
              {
                  this.mc.displayGuiScreen(new GuiScreenClientOutdated(this));
              }
              else
              {
                  this.mc.displayGuiScreen(new GuiScreenOnlineServers(this));
              }
          }
          catch (ExceptionMcoService var3)
          {
              this.mc.getLogAgent().logSevere(var3.toString());
          }
          catch (IOException var4)
          {
              this.mc.getLogAgent().logSevere(var4.getLocalizedMessage());
          }
      }
  
      public void confirmClicked(boolean par1, int par2)
      {
          if (par1 && par2 == 12)
          {
              ISaveFormat var6 = this.mc.getSaveLoader();
              var6.flushCache();
              var6.deleteWorldDirectory("Demo_World");
              this.mc.displayGuiScreen(this);
          }
          else if (par2 == 13)
          {
              if (par1)
              {
                  try
                  {
                      Class var3 = Class.forName("java.awt.Desktop");
                      Object var4 = var3.getMethod("getDesktop", new Class[0]).invoke((Object)null, new Object[0]);
                      var3.getMethod("browse", new Class[] {URI.class}).invoke(var4, new Object[] {new URI(this.field_104024_v)});
                  }
                  catch (Throwable var5)
                  {
                      var5.printStackTrace();
                  }
              }
  
              this.mc.displayGuiScreen(this);
          }
      }
  
      /**
       * Draws the main menu panorama
       */
      private void drawPanorama(int par1, int par2, float par3)
      {
          Tessellator var4 = Tessellator.instance;
          GL11.glMatrixMode(GL11.GL_PROJECTION);
          GL11.glPushMatrix();
          GL11.glLoadIdentity();
          Project.gluPerspective(120.0F, 1.0F, 0.05F, 10.0F);
          GL11.glMatrixMode(GL11.GL_MODELVIEW);
          GL11.glPushMatrix();
          GL11.glLoadIdentity();
          GL11.glColor4f(1.0F, 1.0F, 1.0F, 1.0F);
          GL11.glRotatef(180.0F, 1.0F, 0.0F, 0.0F);
          GL11.glEnable(GL11.GL_BLEND);
          GL11.glDisable(GL11.GL_ALPHA_TEST);
          GL11.glDisable(GL11.GL_CULL_FACE);
          GL11.glDepthMask(false);
          GL11.glBlendFunc(GL11.GL_SRC_ALPHA, GL11.GL_ONE_MINUS_SRC_ALPHA);
          byte var5 = 8;
  
          for (int var6 = 0; var6 < var5 * var5; ++var6)
          {
              GL11.glPushMatrix();
              float var7 = ((float)(var6 % var5) / (float)var5 - 0.5F) / 64.0F;
              float var8 = ((float)(var6 / var5) / (float)var5 - 0.5F) / 64.0F;
              float var9 = 0.0F;
              GL11.glTranslatef(var7, var8, var9);
              GL11.glRotatef(MathHelper.sin(((float)this.panoramaTimer + par3) / 400.0F) * 25.0F + 20.0F, 1.0F, 0.0F, 0.0F);
              GL11.glRotatef(-((float)this.panoramaTimer + par3) * 0.1F, 0.0F, 1.0F, 0.0F);
  
              for (int var10 = 0; var10 < 6; ++var10)
              {
                  GL11.glPushMatrix();
  
                  if (var10 == 1)
                  {
                      GL11.glRotatef(90.0F, 0.0F, 1.0F, 0.0F);
                  }
  
                  if (var10 == 2)
                  {
                      GL11.glRotatef(180.0F, 0.0F, 1.0F, 0.0F);
                  }
  
                  if (var10 == 3)
                  {
                      GL11.glRotatef(-90.0F, 0.0F, 1.0F, 0.0F);
                  }
  
                  if (var10 == 4)
                  {
                      GL11.glRotatef(90.0F, 1.0F, 0.0F, 0.0F);
                  }
  
                  if (var10 == 5)
                  {
                      GL11.glRotatef(-90.0F, 1.0F, 0.0F, 0.0F);
                  }
  
                  this.mc.getTextureManager().bindTexture(titlePanoramaPaths[var10]);
                  var4.startDrawingQuads();
                  var4.setColorRGBA_I(16777215, 255 / (var6 + 1));
                  float var11 = 0.0F;
                  var4.addVertexWithUV(-1.0D, -1.0D, 1.0D, (double)(0.0F + var11), (double)(0.0F + var11));
                  var4.addVertexWithUV(1.0D, -1.0D, 1.0D, (double)(1.0F - var11), (double)(0.0F + var11));
                  var4.addVertexWithUV(1.0D, 1.0D, 1.0D, (double)(1.0F - var11), (double)(1.0F - var11));
                  var4.addVertexWithUV(-1.0D, 1.0D, 1.0D, (double)(0.0F + var11), (double)(1.0F - var11));
                  var4.draw();
                  GL11.glPopMatrix();
              }
  
              GL11.glPopMatrix();
              GL11.glColorMask(true, true, true, false);
          }
  
          var4.setTranslation(0.0D, 0.0D, 0.0D);
          GL11.glColorMask(true, true, true, true);
          GL11.glMatrixMode(GL11.GL_PROJECTION);
          GL11.glPopMatrix();
          GL11.glMatrixMode(GL11.GL_MODELVIEW);
          GL11.glPopMatrix();
          GL11.glDepthMask(true);
          GL11.glEnable(GL11.GL_CULL_FACE);
          GL11.glEnable(GL11.GL_ALPHA_TEST);
          GL11.glEnable(GL11.GL_DEPTH_TEST);
      }
  
      /**
       * Rotate and blurs the skybox view in the main menu
       */
      private void rotateAndBlurSkybox(float par1)
      {
          this.mc.getTextureManager().bindTexture(this.field_110351_G);
          GL11.glCopyTexSubImage2D(GL11.GL_TEXTURE_2D, 0, 0, 0, 0, 0, 256, 256);
          GL11.glEnable(GL11.GL_BLEND);
          GL11.glBlendFunc(GL11.GL_SRC_ALPHA, GL11.GL_ONE_MINUS_SRC_ALPHA);
          GL11.glColorMask(true, true, true, false);
          Tessellator var2 = Tessellator.instance;
          var2.startDrawingQuads();
          byte var3 = 3;
  
          for (int var4 = 0; var4 < var3; ++var4)
          {
              var2.setColorRGBA_F(1.0F, 1.0F, 1.0F, 1.0F / (float)(var4 + 1));
              int var5 = this.width;
              int var6 = this.height;
              float var7 = (float)(var4 - var3 / 2) / 256.0F;
              var2.addVertexWithUV((double)var5, (double)var6, (double)this.zLevel, (double)(0.0F + var7), 0.0D);
              var2.addVertexWithUV((double)var5, 0.0D, (double)this.zLevel, (double)(1.0F + var7), 0.0D);
              var2.addVertexWithUV(0.0D, 0.0D, (double)this.zLevel, (double)(1.0F + var7), 1.0D);
              var2.addVertexWithUV(0.0D, (double)var6, (double)this.zLevel, (double)(0.0F + var7), 1.0D);
          }
  
          var2.draw();
          GL11.glColorMask(true, true, true, true);
      }
  
      /**
       * Renders the skybox in the main menu
       */
      private void renderSkybox(int par1, int par2, float par3)
      {
          GL11.glViewport(0, 0, 256, 256);
          this.drawPanorama(par1, par2, par3);
          GL11.glDisable(GL11.GL_TEXTURE_2D);
          GL11.glEnable(GL11.GL_TEXTURE_2D);
          this.rotateAndBlurSkybox(par3);
          this.rotateAndBlurSkybox(par3);
          this.rotateAndBlurSkybox(par3);
          this.rotateAndBlurSkybox(par3);
          this.rotateAndBlurSkybox(par3);
          this.rotateAndBlurSkybox(par3);
          this.rotateAndBlurSkybox(par3);
          this.rotateAndBlurSkybox(par3);
          GL11.glViewport(0, 0, this.mc.displayWidth, this.mc.displayHeight);
          Tessellator var4 = Tessellator.instance;
          var4.startDrawingQuads();
          float var5 = this.width > this.height ? 120.0F / (float)this.width : 120.0F / (float)this.height;
  