|
Line
Link Here
|
|
-- |
|
|
| 1 |
src/gtk/button.cpp | 1 - |
|
src/gtk/button.cpp | 1 - |
| 2 |
src/gtk/window.cpp | 1 - |
1 |
src/gtk/window.cpp | 1 - |
| 3 |
2 files changed, 2 deletions(-) |
2 |
2 files changed, 2 deletions(-) |
| 4 |
-- a/src/gtk/button.cpp |
3 |
++ b/src/gtk/button.cpp |
|
Lines 80-86
gtk_button_style_set_callback( GtkWidget
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 ); |
|
|
| 84 |
} |
83 |
} |
| 85 |
win->MoveWindow( |
84 |
win->MoveWindow( |
| 86 |
win->m_x - top_border, |
85 |
win->m_x - top_border, |
| 87 |
-- a/src/gtk/window.cpp |
86 |
++ b/src/gtk/window.cpp |
|
Lines 2706-2712
void wxWindowGTK::DoSetSize( int x, int
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 ); |
|
|
| 2710 |
} |
2709 |
} |
| 2711 |
} |
2710 |
} |
| 2712 |
|
2711 |
|