|
Line
Link Here
|
| 0 |
-- src/gtk/button.cpp |
0 |
++ src/gtk/button.cpp |
|
Lines 80-86
Link Here
|
| 80 |
right_border += default_border->right; |
80 |
right_border += default_border->right; |
| 81 |
top_border += default_border->top; |
81 |
top_border += default_border->top; |
| 82 |
bottom_border += default_border->bottom; |
82 |
bottom_border += default_border->bottom; |
| 83 |
g_free( default_border ); |
83 |
gtk_border_free( default_border ); |
| 84 |
} |
84 |
} |
| 85 |
win->MoveWindow( |
85 |
win->MoveWindow( |
| 86 |
win->m_x - top_border, |
86 |
win->m_x - top_border, |
| 87 |
-- src/gtk/window.cpp |
87 |
++ src/gtk/window.cpp |
|
Lines 2706-2712
Link Here
|
| 2706 |
right_border += default_border->right; |
2706 |
right_border += default_border->right; |
| 2707 |
top_border += default_border->top; |
2707 |
top_border += default_border->top; |
| 2708 |
bottom_border += default_border->bottom; |
2708 |
bottom_border += default_border->bottom; |
| 2709 |
g_free( default_border ); |
2709 |
gtk_border_free( default_border ); |
| 2710 |
} |
2710 |
} |
| 2711 |
} |
2711 |
} |