2020-11-06 11:52:59 +01:00
|
|
|
jgmenu_use_icons=true
|
|
|
|
jgmenu_icon_theme="Numix-Square"
|
|
|
|
places_softwarepipe=false
|
|
|
|
places_keyspipe=true
|
|
|
|
places_sysinfopipe=true
|
|
|
|
places_menusettingspipe=true
|
2021-02-12 11:15:13 +01:00
|
|
|
places_quicknav=true
|
|
|
|
menu_font_family='JetBrains Mono Regular'
|
|
|
|
menu_font_size=9
|
|
|
|
jgtools_padding=4
|
|
|
|
panels_topmargin=50
|
|
|
|
jgtools_radius=4
|
|
|
|
submenu_spacing=4
|