manatee-filemanager-0.0.2: File manager extension for Manatee.
Manatee.Extension.FileManager.PageMode
Synopsis
diredMode :: PageModeSource
Dired mode.