@@ -24,6 +24,7 @@
 
 import java.awt.*;
 import java.awt.event.*;
+import java.awt.image.BufferedImage;
 import java.util.ArrayList;
 
 import javax.swing.*;
@@ -96,17 +97,6 @@ public EditorToolbar(Editor editor, Base base) {  //, JMenu menu) {
 //    this.menu = menu;
 
     buttons = new ArrayList<Button>();
-//    buttonCount = 0;
-//    which = new int[BUTTON_COUNT];
-
-//    which[buttonCount++] = RUN;
-//    which[buttonCount++] = STOP;
-//    which[buttonCount++] = NEW;
-//    which[buttonCount++] = OPEN;
-//    which[buttonCount++] = SAVE;
-//    which[buttonCount++] = EXPORT;
-
-//    currentRollover = -1;
     rollover = null;
 
     mode = editor.getMode();
@@ -131,23 +121,37 @@ public EditorToolbar(Editor editor, Base base) {  //, JMenu menu) {
    * otherwise createImage() might fail.
    */
   public Image[][] loadImages() {
-//    Image allButtons = Base.getThemeImage("buttons.gif", this);
-//    Image allButtons = Base.loadImage(file);
-    Image allButtons = mode.loadImage("theme/buttons.gif");
-    int count = allButtons.getWidth(this) / BUTTON_WIDTH;
-//    System.out.println("width is " + allButtons.getWidth(this));
+    int res = Toolkit.isRetina() ? 2 : 1;
+    
+    Image allButtons = null;
+    // Some modes may not have a 2x version. If a mode doesn't have a 1x 
+    // version, this will cause an error... they should always have 1x.
+    if (res == 2) {
+      allButtons = mode.loadImage("theme/buttons-2x.png");
+      if (allButtons == null) {
+        res = 1;  // take him down a notch
+      }
+    }
+    if (res == 1) {
+      allButtons = mode.loadImage("theme/buttons.png");
+      if (allButtons == null) {
+        // use the old (pre-2.0b9) file name
+        allButtons = mode.loadImage("theme/buttons.gif");
+      }
+    }
+
+    int count = allButtons.getWidth(this) / BUTTON_WIDTH*res;
     Image[][] buttonImages = new Image[count][3];
 
     for (int i = 0; i < count; i++) {
       for (int state = 0; state < 3; state++) {
-//        Toolkit tk = Toolkit.getDefaultToolkit();
-//        Image image = tk.createImage(BUTTON_WIDTH, BUTTON_HEIGHT);
-//        System.out.println("image is " + image + " " + BUTTON_WIDTH + " " + BUTTON_HEIGHT);
-        Image image = createImage(BUTTON_WIDTH, BUTTON_HEIGHT);
+//        Image image = createImage(BUTTON_WIDTH*res, BUTTON_HEIGHT*res);
+        Image image = new BufferedImage(BUTTON_WIDTH*res, BUTTON_HEIGHT*res, BufferedImage.TYPE_INT_ARGB);
         Graphics g = image.getGraphics();
         g.drawImage(allButtons, 
-                    -(i*BUTTON_IMAGE_SIZE) - 3, 
-                    (-2 + state)*BUTTON_IMAGE_SIZE, null);
+                    -(i*BUTTON_IMAGE_SIZE*res) - 3, 
+                    (state-2)*BUTTON_IMAGE_SIZE*res, null);
+        g.dispose();
         buttonImages[i][state] = image;
       }
     }
 
@@ -803,6 +803,9 @@ void expandTree(JTree tree, Object object, String[] items, DefaultMutableTreeNod
    */
   public Image loadImage(String filename) {
     File file = new File(folder, filename);
+    if (!file.exists()) {
+      return null;
+    }
     return new ImageIcon(file.getAbsolutePath()).getImage();
   }
 
 
@@ -216,6 +216,7 @@ static public Clipboard getSystemClipboard() {
 
   static Boolean retinaProp;
 
+  /** Yes, retina is a marketing term. But no, nobody else has implemented hi-dpi. */
   static public boolean isRetina() {
     if (Base.isMacOS()) {
       // This should probably be reset each time there's a display change.
Original file line number	Diff line number	Diff line change
@@ -803,6 +803,9 @@ void expandTree(JTree tree, Object object, String[] items, DefaultMutableTreeNod
803	803	*/
804	804	public Image loadImage(String filename) {
805	805	File file = new File(folder, filename);
	806	+ if (!file.exists()) {
	807	+ return null;
	808	+ }
806	809	return new ImageIcon(file.getAbsolutePath()).getImage();
807	810	}
808	811