wok-current diff beaver/stuff/icon.patch @ rev 25278

updated reptyr (0.7.0 -> 0.9.0)
author: Hans-G?nter Theisgen
date: Mon Jul 18 14:55:21 2022 +0100 (2022-07-18)
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/beaver/stuff/icon.patch	Mon Jul 18 14:55:21 2022 +0100
     1.3 @@ -0,0 +1,11 @@
     1.4 +--- a/src/interface.c
     1.5 ++++ b/src/interface.c
     1.6 +@@ -1922,7 +1922,7 @@
     1.7 + 
     1.8 + 	/* set the beaver logo as the default logo for
     1.9 + 	 * all windows to be opened */
    1.10 +-	gtk_window_set_default_icon_from_file (ICON_DIR "/beaver.png", NULL);
    1.11 ++	gtk_window_set_default_icon_name ("beaver");
    1.12 + 
    1.13 + 	/* initialize settings */
    1.14 + 	Settings = init_settings ();