|
You can use the "Advanced settings", "DMINIBAR" option settings, in the menu.
The entries in the "defaults.lua" (with the very helpful green comments):
-- configure "mini" progress bar
DMINIBAR_TOC_MARKER_WIDTH = 2 -- Looses usefulness > 3
DMINIBAR_HEIGHT = 7 -- Should be smaller than DMINIBAR_CONTAINER_HEIGHT
DMINIBAR_CONTAINER_HEIGHT = 14 -- Larger means more padding at the bottom, at the risk of eating into the last line
DMINIBAR_FONT_SIZE = 14
There is a lot of good info in the defaults.lua file (Best read using Notepad++ )
You can have the changes survive updates if you make a "defaults.persistent.lua".
Luck;
Ken
|