more media.. media is now available in article

[mir.git] / source / config.properties-dist

diff --git a/source/config.properties-dist b/source/config.properties-dist
index 82c6c43..69a8108 100755 (executable)
--- a/source/config.properties-dist
+++ b/source/config.properties-dist
@@ -109,6 +109,12 @@ Producer.Icon.TinyAudio=audio_small.gif
 Producer.Icon.TinyVideo=video_small.gif
 Producer.Icon.TinyText=text_small.gif
 
+#Medium sized icons used at various places
+Producer.Icon.BigImage=photo_big.gif
+Producer.Icon.BigAudio=audio_big.gif
+Producer.Icon.BigVideo=video_big.gif
+Producer.Icon.BigText=text_big.gif
+
 
 
 #