Possibly install Windows icons correctly.

diff --git a/platform/windows/wscript b/platform/windows/wscript
index 74e18a700d4344688cc96eaef913f2050e8ab37c..faa8bf14d264b0592b0f28e093566716abf40ce9 100644 (file)
--- a/platform/windows/wscript
+++ b/platform/windows/wscript
@@ -276,6 +276,9 @@ File "%resources%/../../fonts/LiberationSans-Regular.ttf"
 File "%resources%/../../fonts/LiberationSans-Italic.ttf"
 File "%resources%/../../fonts/LiberationSans-Bold.ttf"
 File "%graphics%/splash.png"
+File "%graphics%/zoom.png"
+File "%graphics%/zoom_all.png"
+File "%graphics%/select.png"
 
 SectionEnd
     """, file=f)