ui.backend.gtk: use png instead of ico to represent icons

basis/tools/deploy/unix/unix.factor

@@ -6,17 +6,17 @@ tools.deploy.backend tools.deploy.config
 tools.deploy.config.editor vocabs.loader vocabs.metadata ;
 IN: tools.deploy.unix
 
-: used-ico ( vocab -- ico )
-    dup vocab-windows-icon-path vocab-append-path
-    [ exists? ] keep "vocab:ui/backend/gtk/icon.ico" ? ;
+: used-icon ( vocab -- ico )
+    dup vocab-dir "icon.png" append-path vocab-append-path
+    [ exists? ] keep "vocab:ui/backend/gtk/icon.png" ? ;
 
-: copy-ico ( vocab bundle-name -- )
-    [ used-ico ]
-    [ "ui/backend/gtk/icon.ico" append-path ] bi*
+: copy-icon ( vocab bundle-name -- )
+    [ used-icon ]
+    [ "ui/backend/gtk/icon.png" append-path ] bi*
     copy-file ;
 
 : create-app-dir ( vocab bundle-name -- vm )
-    [ copy-vm ] [ copy-ico ] 2bi
+    [ copy-vm ] [ copy-icon ] 2bi
     dup OCT: 755 set-file-permissions ;
 
 : bundle-name ( -- str )

basis/ui/backend/gtk/gtk.factor

@@ -270,7 +270,7 @@ SYMBOL: next-timeout
     ! This file is not in a resource.txt because it can be
     ! overwritten when deploying. See 'Vocabulary icons'
     ! in the docs.
-    "vocab:ui/backend/gtk/icon.ico"
+    "vocab:ui/backend/gtk/icon.png"
     normalize-path utf8 string>alien
     { { pointer: GError initial: f } }
     [ gtk_window_set_default_icon_from_file ] with-out-parameters

core/vocabs/loader/loader-docs.factor

@@ -28,7 +28,12 @@ ARTICLE: "vocabs.roots" "Vocabulary roots"
 { $subsections "add-vocab-roots" } ;
 
 ARTICLE: "vocabs.icons" "Vocabulary icons"
-"An icon file representing the vocabulary can be provided for use by " { $link "tools.deploy" } ". A file named " { $snippet "icon.ico" } " will be used as the application icon when the application is deployed on Windows, Linux or the *BSD. A file named " { $snippet "icon.icns" } " will be used when the application is deployed on MacOS X." ;
+"An icon file representing the vocabulary can be provided for use by " { $link "tools.deploy" } ". If any of the following files exist inside the vocabulary directory, they will be used as icons when the application is deployed."
+{ $list
+    { { $snippet "icon.ico" } " on Windows" }
+    { { $snippet "icon.icns" } " on MacOS X" }
+    { { $snippet "icon.png" } " on Linux and *BSD" }
+} ;
 
 ARTICLE: "vocabs.loader" "Vocabulary loader"
 "The " { $link POSTPONE: USE: } " and " { $link POSTPONE: USING: } " words load vocabularies using the vocabulary loader. The vocabulary loader is implemented in the " { $vocab-link "vocabs.loader" } " vocabulary."

extra/hello-ui/deploy.factor

@@ -5,7 +5,7 @@ H{
     { deploy-c-types? f }
     { deploy-unicode? f }
     { "stop-after-last-window?" t }
-    { deploy-io 1 }
+    { deploy-io 2 }
     { deploy-reflection 1 }
     { deploy-word-props? f }
     { deploy-math? t }