equal
deleted
inserted
replaced
722 "Modified (comment): / 05-02-2017 / 19:37:48 / cg" |
722 "Modified (comment): / 05-02-2017 / 19:37:48 / cg" |
723 "Modified: / 09-02-2017 / 14:29:59 / stefan" |
723 "Modified: / 09-02-2017 / 14:29:59 / stefan" |
724 ! |
724 ! |
725 |
725 |
726 imageTypeList |
726 imageTypeList |
727 "/ image formats ... |
727 "/ wellknown image formats ... |
728 |
728 |
729 ^ #( |
729 ^ #( |
730 "/ the first column is a list of extensions, the second the more-or-less official mimetype |
730 "/ the first column is a list of extensions, the second the more-or-less official mimetype |
731 |
731 |
732 ('jpg' 'jpeg') 'image/jpeg' |
732 ('jpg' 'jpeg') 'image/jpeg' |
743 'pbm' 'image/x-portable-bitmap' |
743 'pbm' 'image/x-portable-bitmap' |
744 'pnm' 'image/x-portable-anymap' |
744 'pnm' 'image/x-portable-anymap' |
745 'xwd' 'image/x-xwindowdump' |
745 'xwd' 'image/x-xwindowdump' |
746 'ras' 'image/x-cmu-raster' |
746 'ras' 'image/x-cmu-raster' |
747 'tga' 'image/x-targa' |
747 'tga' 'image/x-targa' |
748 'ico' 'image/x-ico' |
748 'ico' 'image/x-icon' |
749 'icns' 'image/icns' |
749 'icns' 'image/icns' |
750 'dng' 'image/x-adobe-dng' |
750 'dng' 'image/x-adobe-dng' |
751 ) |
751 ) |
752 |
752 |
753 "Modified: / 25-08-2017 / 15:23:45 / cg" |
753 "Modified: / 13-09-2017 / 09:05:15 / cg" |
754 ! |
754 ! |
755 |
755 |
756 miscFilenameList |
756 miscFilenameList |
757 "other formats (not by suffix, but by fileName instead) ..." |
757 "other formats (not by suffix, but by fileName instead) ..." |
758 |
758 |