use the theme padding for the menu title's size
authorDana Jansens <danakj@orodu.net>
Wed, 17 Sep 2003 06:10:29 +0000 (06:10 +0000)
committerDana Jansens <danakj@orodu.net>
Wed, 17 Sep 2003 06:10:29 +0000 (06:10 +0000)
commitad7fd99f1dd3ce402dfc27c4dbd790234e0b898e
tree46c58b212d6e9efe2779eb35c8ee5c2e14b29709
parentf85a85541790a6095eb583ddb8684eece8dcc0c6
use the theme padding for the menu title's size
openbox/menuframe.c