openbox themes: Fix obsolete menu.overlap property
This commit is contained in:
parent
312a42b0cf
commit
da9334ff01
|
@ -69,7 +69,7 @@ border.Width: 1
|
|||
padding.width: 1
|
||||
window.handle.width: 0
|
||||
window.client.padding.width: 0
|
||||
menu.overlap: -6
|
||||
menu.overlap.x: -6
|
||||
|
||||
!! Miscellaneous settings
|
||||
|
||||
|
|
|
@ -67,7 +67,7 @@ border.Width: 1
|
|||
padding.width: 1
|
||||
window.handle.width: 0
|
||||
window.client.padding.width: 0
|
||||
menu.overlap: -6
|
||||
menu.overlap.x: -6
|
||||
|
||||
!! Miscellaneous settings
|
||||
|
||||
|
|
|
@ -68,7 +68,7 @@ border.Width: 1
|
|||
padding.width: 1
|
||||
window.handle.width: 0
|
||||
window.client.padding.width: 0
|
||||
menu.overlap: -6
|
||||
menu.overlap.x: -6
|
||||
|
||||
!! Miscellaneous settings
|
||||
border.color: #3C3C3C
|
||||
|
|
|
@ -69,7 +69,7 @@ border.Width: 1
|
|||
padding.width: 1
|
||||
window.handle.width: 0
|
||||
window.client.padding.width: 0
|
||||
menu.overlap: -6
|
||||
menu.overlap.x: -6
|
||||
|
||||
!! Miscellaneous settings
|
||||
border.color: #1A2833
|
||||
|
|
|
@ -68,7 +68,7 @@ border.Width: 1
|
|||
padding.width: 1
|
||||
window.handle.width: 0
|
||||
window.client.padding.width: 0
|
||||
menu.overlap: -6
|
||||
menu.overlap.x: -6
|
||||
|
||||
!! Miscellaneous settings
|
||||
|
||||
|
|
|
@ -67,7 +67,7 @@ border.Width: 1
|
|||
padding.width: 1
|
||||
window.handle.width: 0
|
||||
window.client.padding.width: 0
|
||||
menu.overlap: -6
|
||||
menu.overlap.x: -6
|
||||
|
||||
!! Miscellaneous settings
|
||||
|
||||
|
|
Loading…
Reference in a new issue