[fix] readerhighlight: "View HTML" was always disabled (#8573)

reviewable/pr8575/r1
hius07 2 years ago committed by GitHub
parent f83eee02dd
commit d0dd1ee888
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -161,7 +161,7 @@ function ReaderHighlight:init()
end end
-- cre documents only -- cre documents only
if self.ui.rolling then if not self.document.info.has_pages then
self:addToHighlightDialog("09_view_html", function(_self) self:addToHighlightDialog("09_view_html", function(_self)
return { return {
text = _("View HTML"), text = _("View HTML"),

Loading…
Cancel
Save