What are exactly the details of 'jwm_colors' and what is this file used for (… found nothing about on the 'jwm joe's window manager's web page http://joewing.net/programs/jwm/config.shtml) ?
#see /usr/local/jwmconfig2/theme-switcher script.
My questions :
MENU_BG (is it the equivalent of <MenuStyle>…<Background>… of the file 'jwmrc-theme' ?)
ACTIVE_BG (active background of what ? <ActiveBackground> of the <MenuStyle> within 'jwmrc-theme' is a gradient color and not a single one !)
FOREGROUND (foreground of what ?)
PAGER_BG (is it the equivalent of <PagerStyle>…<Background>… of the file jwmrc-theme ?)
FG_SELECTED (foreground of what ?)
Thank you a lot for your response !