Esempio n. 1
0
 public void paint(Graphics g) {
   super.paint(g);
   if (firstPaint) {
     yesB.requestFocus();
     firstPaint = false;
   }
 }
Esempio n. 2
0
 public void paint(Graphics g) {
   super.paint(g);
   if (firstPaint) {
     if (numberField != null && IJ.isMacOSX()) {
       // work around for bug on Intel Macs that caused 1st field to be un-editable
       TextField tf = (TextField) (numberField.elementAt(0));
       tf.setEditable(false);
       tf.setEditable(true);
     }
     if (numberField == null && stringField == null) okay.requestFocus();
     firstPaint = false;
   }
 }
Esempio n. 3
0
  public static int crossOver(int version, JoConnection conn, Config config) throws Exception {
    Dialog dlg = null;
    try {
      if (version < 1002) {
        // ----------------------------------------------------
        //  New Columns GamePlayer.Color and GamePlayer.Result
        // ----------------------------------------------------

        dlg =
            JoDialog.createMessageDialog(
                "Database Update",
                "jose will now update the database structure.\n"
                    + "This may take up to some minutes.",
                false);
        dlg.show();
        dlg.paint(dlg.getGraphics());

        Setup setup = new Setup(config, "MAIN", conn);
        /*
        				setup.addColumn("GamePlayer","Color",3);
        				setup.addColumn("GamePlayer","Result",4);
        /*
        					alter table gameplayer
        					modify column PId integer not null,
        					add column Color tinyint not null,
        					add index GamePlayer_3 (Color),
        					add column Result tinyint not null,
        					add index GamePlayer_4 (Result)
        * /
        				//  fill in values
        				String upd1 =
        				        "UPDATE GamePlayer, Game" +
        				        " SET GamePlayer.Color = 1, GamePlayer.Result = Game.Result" +
        				        " WHERE GamePlayer.GId = Game.Id" +
        				        "   AND GamePlayer.PId = Game.WhiteId";
        				/** Color = 1 = White
        				 *  Result = Game.Result (from white's perspective)
        				 * /
        				conn.executeUpdate(upd1);

        				String upd2 =
        				        "UPDATE GamePlayer, Game" +
        				        " SET GamePlayer.Result = CASE WHEN Game.Result < 0 THEN Game.Result ELSE 2-Game.Result END" +
        				        " WHERE GamePlayer.GId = Game.Id" +
        				        "   AND GamePlayer.PId = Game.BlackId";
        				/** Color = 0 = Black
        				 *  Result = 2-Game.Result (from black's perspective)
        				 * /
        				conn.executeUpdate(upd2);
        */
        System.err.print("[create GamePlayer");
        try {
          setup.dropTable("GamePlayer");
        } catch (Exception e) {
          Application.error(e);
        }

        setup.createTable(null, setup.getTable("GamePlayer"), null, true);
        JoConnection.getAdapter().disableConstraints("GamePlayer", conn);

        String ins =
            "INSERT INTO GamePlayer"
                + " SELECT Id, WhiteId, 1, Result FROM Game "
                + " UNION"
                + " SELECT Id, BlackId, 0, CASE WHEN Result<0 THEN Result ELSE 2-Result END FROM Game";

        conn.executeUpdate(ins);
        JoConnection.getAdapter().enableConstraints("GamePlayer", conn);
        System.err.println("]");

        Setup.setTableVersion(conn, "MAIN", "GamePlayer", 102);
        Setup.setSchemaVersion(conn, "MAIN", version = 1002);
      }

      return version;

    } finally {
      if (dlg != null) dlg.dispose();
    }
  }