a) remove the top_grip_height business from the theme
authorDana Jansens <danakj@orodu.net>
Thu, 8 Mar 2007 01:26:03 +0000 (01:26 +0000)
committerDana Jansens <danakj@orodu.net>
Thu, 8 Mar 2007 01:26:03 +0000 (01:26 +0000)
commit56307d60773d0eaf65b10414cd0e3ec0b2adc156
tree11ead9f79518f347db5b51c4452b4211498d6497
parentb5af5ad3e8f2cd3c23d997970c4f9ec554936960
a) remove the top_grip_height business from the theme
b) make the focus indicator based on border width and padding, not the handle height
c) add 2 more windows for the top corners for resizing, much easier to find them now. also base their width on padding, not the handle height or other weird things
openbox/focus.c
openbox/frame.c
openbox/frame.h
openbox/framerender.c
render/theme.c
render/theme.h