2020-11-06 11:52:59 +01:00
|
|
|
jgmenu_theme=obtheme
|
|
|
|
|
jgmenu_use_icons=true
|
2021-12-10 23:52:16 +01:00
|
|
|
jgmenu_icon_theme=Papirus
|
2020-11-06 11:52:59 +01:00
|
|
|
jgmenu_use_borders=true
|
|
|
|
|
places_softwarepipe=true
|
|
|
|
|
places_sysinfopipe=true
|
2021-12-10 23:52:16 +01:00
|
|
|
places_keyspipe=false
|
2020-11-06 11:52:59 +01:00
|
|
|
places_menusettingspipe=true
|
|
|
|
|
menu_font_family='Noto Sans Light'
|
2022-12-08 15:15:05 +01:00
|
|
|
panels_heightpos=full
|
2020-11-06 11:52:59 +01:00
|
|
|
|
