Ask for a full refresh when clearing HL

Helps avoiding ghosting, especially on REAGL devices.

re #1119
This commit is contained in:
NiLuJe
2014-11-12 15:49:01 +01:00
parent 3d5dd44a4c
commit eef26a0e94

View File

@@ -120,7 +120,7 @@ function ReaderHighlight:clear()
else
self.ui.document:clearSelection()
end
UIManager:setDirty(self.dialog, "partial")
UIManager:setDirty(self.dialog, "full")
if self.hold_pos then
self.hold_pos = nil
self.selected_text = nil