Use the new icon PDFs instead of the PNGs.

mdehoon · mdehoon · commit c2be249c0f5a · 2015-09-14T23:05:54.000+09:00
diff --git a/src/_macosx.m b/src/_macosx.m
@@ -4932,13 +4932,13 @@ -(void)save_figure:(id)sender
 
     NSButton* buttons[7];
 
-    NSString* images[7] = {@"home.png",
-                           @"back.png",
-                           @"forward.png",
-                           @"move.png",
-                           @"zoom_to_rect.png",
-                           @"subplots.png",
-                           @"filesave.png"};
+    NSString* images[7] = {@"home.pdf",
+                           @"back.pdf",
+                           @"forward.pdf",
+                           @"move.pdf",
+                           @"zoom_to_rect.pdf",
+                           @"subplots.pdf",
+                           @"filesave.pdf"};
 
     NSString* tooltips[7] = {@"Reset original view",
                              @"Back to  previous view",
