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

1 files changed, 0 insertions, 1 deletions

diff --git a/render/theme.h b/render/theme.h
index 4d90dac8..acceaf5f 100644
--- a/render/theme.h
+++ b/render/theme.h
@@ -53,7 +53,6 @@ struct _RrTheme {
     gint menu_title_height;
     gint button_size;
     gint grip_width;
-    gint top_grip_height;
 
     /* style settings - colors */
     RrColor *menu_b_color;