Skip to content

Instantly share code, notes, and snippets.

@IntrovertedMage
Last active April 27, 2025 23:52
Show Gist options
  • Select an option

  • Save IntrovertedMage/3a7b9701d5c78eedc4de32449db3f59b to your computer and use it in GitHub Desktop.

Select an option

Save IntrovertedMage/3a7b9701d5c78eedc4de32449db3f59b to your computer and use it in GitHub Desktop.
KOReader user patch that cleanly removes KOReader title bar from the file manager, showcase: https://imgur.com/a/3AokiYm
local FileManager = require("apps/filemanager/filemanager")
local BD = require("ui/bidi")
local Device = require("device")
local filemanagerutil = require("apps/filemanager/filemanagerutil")
local Screen = Device.screen
FileManager.title = ""
function FileManager:updateTitleBarPath(path)
local text = BD.directory(filemanagerutil.abbreviate(path))
if self.folder_shortcuts:hasFolderShortcut(path) then
text = "☆ " .. text
end
self.title_bar:setTitle(text)
end
FileManager.onPathChanged = FileManager.updateTitleBarPath
local original_setupLayout = FileManager.setupLayout
function FileManager:setupLayout()
original_setupLayout(self)
local Font = require("ui/font")
self.title_bar.title_face = Font:getFace("xx_smallinfofont")
self.title_bar.title_top_padding = Screen:scaleBySize(12)
self.title_bar:init()
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment