Converted toolbar icons to png

Author: cmaglie

app/src/cc/arduino/view/preferences/Preferences.java

@@ -196,7 +196,7 @@ public void actionPerformed(java.awt.event.ActionEvent evt) {
 
     additionalBoardsManagerField.setToolTipText(tr("Enter a comma separated list of urls"));
 
-    extendedAdditionalUrlFieldWindow.setIcon(new ImageIcon(Base.getThemeImage("newwindow.gif", this)));
+    extendedAdditionalUrlFieldWindow.setIcon(new ImageIcon(Base.getThemeImage("newwindow.png", this)));
     extendedAdditionalUrlFieldWindow.setMargin(new java.awt.Insets(1, 1, 1, 1));
     extendedAdditionalUrlFieldWindow.addActionListener(new java.awt.event.ActionListener() {
       public void actionPerformed(java.awt.event.ActionEvent evt) {

app/src/processing/app/EditorHeader.java

@@ -149,7 +149,7 @@ public EditorHeader(Editor eddie) {
       pieces = new Image[STATUS.length][WHERE.length];
       for (int i = 0; i < STATUS.length; i++) {
         for (int j = 0; j < WHERE.length; j++) {
-          String path = "tab-" + STATUS[i] + "-" + WHERE[j] + ".gif";
+          String path = "tab-" + STATUS[i] + "-" + WHERE[j] + ".png";
           pieces[i][j] = Base.getThemeImage(path, this);
         }
       }

app/src/processing/app/EditorLineStatus.java

@@ -58,7 +58,7 @@ public EditorLineStatus() {
     high = Theme.getInteger("linestatus.height") * Theme.getInteger("gui.scalePercent") / 100;
 
     if (OSUtils.isMacOS()) {
-      resize = Base.getThemeImage("resize.gif", this);
+      resize = Base.getThemeImage("resize.png", this);
     }
     //linestatus.bgcolor = #000000
     //linestatus.font    = SansSerif,plain,10

app/src/processing/app/EditorToolbar.java

@@ -139,7 +139,7 @@ public EditorToolbar(Editor editor, JMenu menu) {
   }
 
   private void loadButtons() {
-    Image allButtons = Base.getThemeImage("buttons.gif", this);
+    Image allButtons = Base.getThemeImage("buttons.png", this);
     buttonImages = new Image[BUTTON_COUNT][3];
 
     for (int i = 0; i < BUTTON_COUNT; i++) {