|
|
@ -136,7 +136,7 @@ DMINIBAR_HEIGHT = 7 -- Should be smaller than DMINIBAR_CONTAINER_HEI
|
|
|
|
DMINIBAR_CONTAINER_HEIGHT = 14 -- Larger means more padding at the bottom, at the risk of eating into the last line
|
|
|
|
DMINIBAR_CONTAINER_HEIGHT = 14 -- Larger means more padding at the bottom, at the risk of eating into the last line
|
|
|
|
DMINIBAR_FONT_SIZE = 14
|
|
|
|
DMINIBAR_FONT_SIZE = 14
|
|
|
|
|
|
|
|
|
|
|
|
-- change this to any numerical value if you want to antomatically save settings when turning pages
|
|
|
|
-- change this to any numerical value if you want to automatically save settings when turning pages
|
|
|
|
DAUTO_SAVE_PAGING_COUNT = nil
|
|
|
|
DAUTO_SAVE_PAGING_COUNT = nil
|
|
|
|
|
|
|
|
|
|
|
|
-- dictionary font size
|
|
|
|
-- dictionary font size
|
|
|
|