diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-01-03 15:57:40 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-01-03 15:57:40 +0100 |
| commit | b60ca07f1ffd0eac23f96dafa161a716bcaa36e8 (patch) | |
| tree | 8ef92294f3005ff6a1098e7852b8817dc3ebdbaa /source/view.c | |
| parent | 861b52a523dd32e081c5428acfda177bb5399944 (diff) | |
Remove border-width property from window.
Diffstat (limited to 'source/view.c')
| -rw-r--r-- | source/view.c | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/source/view.c b/source/view.c index 8079c976..ecf2f8f4 100644 --- a/source/view.c +++ b/source/view.c @@ -666,7 +666,7 @@ static void rofi_view_calculate_window_width ( RofiViewState *state ) else if ( config.menu_width < 0 ) { double fw = textbox_get_estimated_char_width ( ); state->width = -( fw * config.menu_width ); - state->width += window_get_border_width ( state->main_window ); + state->width += widget_padding_get_padding_width ( WIDGET ( state->main_window ) ); } else{ // Calculate as float to stop silly, big rounding down errors. @@ -1556,8 +1556,7 @@ int rofi_view_error_dialog ( const char *msg, int markup ) widget_resize ( WIDGET ( state->main_window ), state->width, 100); unsigned int line_height = textbox_get_height ( state->text ); // resize window vertically to suit - state->height = line_height + window_get_border_width ( state->main_window); - state->height = widget_padding_get_padding_height ( WIDGET(state->main_window) ); + state->height = line_height + widget_padding_get_padding_height ( WIDGET(state->main_window) ); // Calculte window position. rofi_view_calculate_window_position ( state ); @@ -1678,13 +1677,11 @@ void rofi_view_set_overlay ( RofiViewState *state, const char *text ) // Within padding of window. x_offset -= widget_padding_get_right ( WIDGET (state->main_window) ); // Within the border of widget. - x_offset -= window_get_border_width ( state->main_window ); x_offset -= widget_padding_get_right ( WIDGET (state->main_box ) ); x_offset -= widget_padding_get_right ( WIDGET (state->input_bar ) ); x_offset -= widget_get_width ( WIDGET ( state->case_indicator ) ); x_offset -= widget_get_width ( WIDGET ( state->overlay ) ); - int top_offset = window_get_border_width ( state->main_window ); - top_offset += widget_padding_get_top ( WIDGET (state->main_window) ); + int top_offset = widget_padding_get_top ( WIDGET (state->main_window) ); top_offset += widget_padding_get_top ( WIDGET (state->main_box ) ); widget_move ( WIDGET ( state->overlay ), x_offset, top_offset ); // We want to queue a repaint. |