Ticket #2115: FixMOTD FixTabs.patch

File FixMOTD FixTabs.patch, 4.5 KB (added by xeen, 17 years ago)

ok that last one was unfair, there were hidden tabs in Main.java and I didn't notice. Well, fix them, too.

  • src/org/openstreetmap/josm/gui/GettingStarted.java

     
    189189
    190190    public GettingStarted() {
    191191        super(new BorderLayout());
    192         final LinkGeneral lg = new LinkGeneral(tr("Download \"Message of the day\""));
     192        final LinkGeneral lg = new LinkGeneral(
     193            "<html><body>\n<h1>" +
     194            "JOSM - " +
     195            tr("Java OpenStreetMap Editor") +
     196            "</h1>\n<h2 align=\"center\">" +
     197            tr("Downloading \"Message of the day\"") +
     198            "</h2>");
    193199        JScrollPane scroller = new JScrollPane(lg);
    194         // panel.add(GBC.glue(0,1), GBC.eol());
    195         //panel.setMinimumSize(new Dimension(400, 600));
    196200        Component linkGeneral = new LinkGeneral(content);
    197201        scroller.setViewportBorder(new EmptyBorder(10,100,10,100));
    198202        add(scroller, BorderLayout.CENTER);

  • src/org/openstreetmap/josm/Main.java

     
    113113     * The main menu bar at top of screen.
    114114     */
    115115    public final MainMenu menu;
     116   
     117    /**
     118     * The MOTD Layer.
     119     */
     120    private GettingStarted gettingStarted=new GettingStarted();
    116121
    117122    /**
    118123     * Print a debug message if debugging is on.
    … …  
    144149            map.fillPanel(panel);
    145150        else {
    146151            old.destroy();
    147             panel.add(new GettingStarted(), BorderLayout.CENTER);
     152            panel.add(gettingStarted, BorderLayout.CENTER);
    148153        }
    149154        panel.setVisible(true);
    150155        redoUndoListener.commandChanged(0,0);
    … …  
    173178//        platform = determinePlatformHook();
    174179        platform.startupHook();
    175180        contentPane.add(panel, BorderLayout.CENTER);
    176         if(splash != null) splash.setStatus(tr("Download \"Message of the day\""));
    177         panel.add(new GettingStarted(), BorderLayout.CENTER);
     181        panel.add(gettingStarted, BorderLayout.CENTER);
    178182
    179183        if(splash != null) splash.setStatus(tr("Creating main GUI"));
    180184        menu = new MainMenu();
    … …  
    273277        UIManager.put("OptionPane.noIcon", UIManager.get("OptionPane.cancelIcon"));
    274278
    275279        Dimension screenDimension = Toolkit.getDefaultToolkit().getScreenSize();
    276         String geometry = Main.pref.get("gui.geometry");
     280        String geometry = Main.pref.get("gui.geometry");
    277281        if (args.containsKey("geometry")) {
    278282            geometry = args.get("geometry").iterator().next();
    279         }
    280         if (geometry.length() != 0) {
     283        }
     284        if (geometry.length() != 0) {
    281285            final Matcher m = Pattern.compile("(\\d+)x(\\d+)(([+-])(\\d+)([+-])(\\d+))?").matcher(geometry);
    282286            if (m.matches()) {
    283287                int w = Integer.valueOf(m.group(1));
    … …  
    292296                        y = screenDimension.height - y - h;
    293297                }
    294298                bounds = new Rectangle(x,y,w,h);
    295                 if(!Main.pref.get("gui.geometry").equals(geometry)) {
    296                     // remember this geometry
    297                     Main.pref.put("gui.geometry", geometry);
    298                 }
     299                if(!Main.pref.get("gui.geometry").equals(geometry)) {
     300                    // remember this geometry
     301                    Main.pref.put("gui.geometry", geometry);
     302                }
    299303            } else
    300304                System.out.println("Ignoring malformed geometry: "+geometry);
    301305        }
    … …  
    410414    }
    411415
    412416    static public void saveGuiGeometry() {
    413         // if the gui.geometry preference is already set,
    414         // save the current window geometry
    415         String curGeometryPref = pref.get("gui.geometry");
    416         if(curGeometryPref.length() != 0) {
    417             Rectangle bounds = parent.getBounds();
    418             pref.put("gui.geometry",
    419                      (int)bounds.getWidth() +
    420                      "x" + (int)bounds.getHeight() +
    421                      "+" + (int)bounds.getX() +
    422                      "+" + (int)bounds.getY());
    423         }
     417        // if the gui.geometry preference is already set,
     418        // save the current window geometry
     419        String curGeometryPref = pref.get("gui.geometry");
     420        if(curGeometryPref.length() != 0) {
     421            Rectangle bounds = parent.getBounds();
     422            pref.put("gui.geometry",
     423                (int)bounds.getWidth() +
     424                "x" + (int)bounds.getHeight() +
     425                "+" + (int)bounds.getX() +
     426                "+" + (int)bounds.getY());
     427        }
    424428    }
    425429}