From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Fri, 6 Jul 2012 12:35:32 +0000 (+0000)
Subject: Cosmetic changes.
X-Git-Tag: make_still_working~1619
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a343b8da51ffa5127e82e9452590b1a3f68f64a0;p=helm.git

Cosmetic changes.
---

diff --git a/matitaB/matita/html/icons/saveas.png b/matitaB/matita/html/icons/saveas.png
new file mode 100644
index 000000000..8da6ae1e1
Binary files /dev/null and b/matitaB/matita/html/icons/saveas.png differ
diff --git a/matitaB/matita/html/index.html b/matitaB/matita/html/index.html
index b34fa6b8f..65a6ca6b9 100644
--- a/matitaB/matita/html/index.html
+++ b/matitaB/matita/html/index.html
@@ -82,7 +82,7 @@
                                                     alt="Save" 
                                                     title="Save script"></A>
    <span style="width:1px; display:inline-block;"></span>
-   <A href="#" onClick="saveDialog()"><IMG class="toolbarimg" src="icons/save.png" 
+   <A href="#" onClick="saveDialog()"><IMG class="toolbarimg" src="icons/saveas.png" 
                                                     alt="Save as" 
                                                     title="Save script as..."></A>
    <span style="width:1px; display:inline-block;"></span>