2020-11-06 11:52:59 +01:00
|
|
|
jgmenu_theme=obtheme
|
|
|
|
jgmenu_use_icons=true
|
2021-08-22 19:30:51 +02:00
|
|
|
jgmenu_icon_theme=BeautyLine
|
2020-11-06 11:52:59 +01:00
|
|
|
jgmenu_use_borders=true
|
|
|
|
places_softwarepipe=true
|
|
|
|
places_sysinfopipe=true
|
|
|
|
places_keyspipe=true
|
|
|
|
places_menusettingspipe=true
|
|
|
|
menu_font_family='JetBrains Mono Regular'
|
|
|
|
menu_font_size=9
|
|
|
|
|
|
|
|
jgmenu_item_height=18
|
|
|
|
jgmenu_icon_size=16
|
|
|
|
sep_height=2
|
|
|
|
item_margin_y=2
|
2022-12-08 15:15:05 +01:00
|
|
|
panels_heightpos=full
|