sort files and directories in FileList
authorStefan Pluecken <stefan.pluecken@multimedia-labs.de>
Thu, 29 Jun 2006 18:16:00 +0000 (18:16 +0000)
committerStefan Pluecken <stefan.pluecken@multimedia-labs.de>
Thu, 29 Jun 2006 18:16:00 +0000 (18:16 +0000)
lib/python/Components/FileList.py

index 74117309a64b39a4fe657496829790b8643ccc9d..a0b01b2e76aaaab41ab9fb9a8733caa2c36cfd0f 100644 (file)
@@ -37,7 +37,7 @@ def FileEntryComponent(name, absolute = None, isDir = False):
                png = loadPNG(resolveFilename(SCOPE_SKIN_IMAGE, "extensions/directory.png"))
        else:
                extension = name.split('.')
-               extension = extension[-1]
+               extension = extension[-1].lower()
                if EXTENSIONS.has_key(extension):
                        png = loadPNG(resolveFilename(SCOPE_SKIN_IMAGE, "extensions/" + EXTENSIONS[extension] + ".png"))
                else:
@@ -89,6 +89,8 @@ class FileList(MenuList, HTMLComponent, GUIComponent):
                                else:
                                        files.append(s)
                                print s.getName(), s.flags
+                       directories.sort()
+                       files.sort()
                else:
                        files = os.listdir(directory)
                        files.sort()