There exists an easy way to switch themes and the main menu size in IceWM and fluxbox by simply choosing the theme/style as large, medium or small (or in the case of fluxbox no suffix=small).
JWM, however, does not have this. All the themes provided have the same main menu size.
If you want to change the main menu size in JWM, simply edit the number shown in line (10) of ~/.jwmrc
16 matches small in IceWM and fluxbox
24 matches medium
32 matches large
Then click Logout > Restart JWM in the main menu.
This topic was modified 3 years, 4 months ago by anticapitalista. Reason: typos
Philosophers have interpreted the world in many ways; the point is to change it.