@ -219,7 +219,7 @@ function ReaderFont:onSetFontSize(new_size)
self.ui : handleEvent ( Event : new ( " UpdatePos " ) )
self.ui : handleEvent ( Event : new ( " UpdatePos " ) )
UIManager : show ( Notification : new {
UIManager : show ( Notification : new {
text = T ( _ ( " Font size set to %1. " ) , self.font_size ) ,
text = T ( _ ( " Font size set to %1. " ) , self.font_size ) ,
timeout = 1 ,
timeout = 2 ,
} )
} )
return true
return true
@ -229,7 +229,7 @@ function ReaderFont:onSetLineSpace(space)
self.line_space_percent = math.min ( 200 , math.max ( 80 , space ) )
self.line_space_percent = math.min ( 200 , math.max ( 80 , space ) )
UIManager : show ( Notification : new {
UIManager : show ( Notification : new {
text = T ( _ ( " Line spacing set to %1%. " ) , self.line_space_percent ) ,
text = T ( _ ( " Line spacing set to %1%. " ) , self.line_space_percent ) ,
timeout = 1 ,
timeout = 2 ,
} )
} )
self.ui . document : setInterlineSpacePercent ( self.line_space_percent )
self.ui . document : setInterlineSpacePercent ( self.line_space_percent )
self.ui : handleEvent ( Event : new ( " UpdatePos " ) )
self.ui : handleEvent ( Event : new ( " UpdatePos " ) )
@ -256,7 +256,7 @@ function ReaderFont:onSetFontGamma(gamma)
local gamma_level = self.ui . document : getGammaLevel ( )
local gamma_level = self.ui . document : getGammaLevel ( )
UIManager : show ( Notification : new {
UIManager : show ( Notification : new {
text = T ( _ ( " Font gamma set to %1. " ) , gamma_level ) ,
text = T ( _ ( " Font gamma set to %1. " ) , gamma_level ) ,
timeout = 1
timeout = 2,
} )
} )
self.ui : handleEvent ( Event : new ( " RedrawCurrentView " ) )
self.ui : handleEvent ( Event : new ( " RedrawCurrentView " ) )
return true
return true
@ -277,7 +277,7 @@ function ReaderFont:setFont(face)
self.font_face = face
self.font_face = face
UIManager : show ( Notification : new {
UIManager : show ( Notification : new {
text = T ( _ ( " Redrawing with font %1. " ) , face ) ,
text = T ( _ ( " Redrawing with font %1. " ) , face ) ,
timeout = 1 ,
timeout = 2 ,
} )
} )
self.ui . document : setFontFace ( face )
self.ui . document : setFontFace ( face )