2020-11-06 11:52:59 +01:00
|
|
|
jgmenu_theme=obtheme
|
|
|
|
jgmenu_use_icons=true
|
|
|
|
jgmenu_icon_theme="Numix-Square"
|
|
|
|
jgmenu_use_borders=true
|
|
|
|
places_softwarepipe=true
|
|
|
|
places_sysinfopipe=true
|
|
|
|
places_keyspipe=true
|
|
|
|
places_menusettingspipe=true
|
2021-08-22 19:30:51 +02:00
|
|
|
menu_font_family='Noto Sans Light'
|
|
|
|
|
2020-11-06 11:52:59 +01:00
|
|
|
|