tweaks of font size

pull/638/head
chrox 10 years ago
parent b8ce85d3de
commit f13a165c4b

@ -7,6 +7,7 @@ local Geom = require("ui/geometry")
local Screen = require("ui/screen")
local UIManager = require("ui/uimanager")
local Event = require("ui/event")
local Font = require("ui/font")
local DEBUG = require("dbg")
local _ = require("gettext")
@ -99,9 +100,10 @@ function ReaderBookmark:onShowBookmark()
local bm_menu = Menu:new{
title = "Bookmarks",
item_table = self.bookmarks,
is_borderless = true,
width = Screen:getWidth(),
height = Screen:getHeight(),
is_borderless = true,
cface = Font:getFace("cfont", 20),
on_close_ges = {
GestureRange:new{
ges = "two_finger_swipe",

@ -7,6 +7,7 @@ local Screen = require("ui/screen")
local Device = require("ui/device")
local UIManager = require("ui/uimanager")
local Event = require("ui/event")
local Font = require("ui/font")
local DEBUG = require("dbg")
local _ = require("gettext")
@ -123,9 +124,10 @@ function ReaderToc:onShowToc()
title = _("Table of Contents"),
item_table = self.toc,
ui = self.ui,
is_borderless = true,
width = Screen:getWidth(),
height = Screen:getHeight(),
is_borderless = true,
cface = Font:getFace("cfont", 20),
on_close_ges = {
GestureRange:new{
ges = "two_finger_swipe",

@ -277,7 +277,7 @@ local Menu = FocusManager:new{
-- face for menu title
tface = Font:getFace("tfont", 26),
-- face for paging info display
fface = Font:getFace("ffont", 16),
fface = Font:getFace("ffont", 20),
-- font for item shortcut
sface = Font:getFace("scfont", 20),

@ -215,7 +215,7 @@ local TouchMenu = InputContainer:new{
bordersize = Screen:scaleByDPI(2),
padding = Screen:scaleByDPI(5),
footer_height = Screen:scaleByDPI(50),
fface = Font:getFace("ffont", 16),
fface = Font:getFace("ffont", 20),
width = nil,
height = nil,
page = 1,

Loading…
Cancel
Save