1594 |
GtkWidget *button; |
GtkWidget *button; |
1595 |
HildonAppMenu *menu = HILDON_APP_MENU(hildon_app_menu_new()); |
HildonAppMenu *menu = HILDON_APP_MENU(hildon_app_menu_new()); |
1596 |
|
|
1597 |
|
/* the following doesn't have an effect */ |
1598 |
|
// gtk_window_set_title(GTK_WINDOW(menu), "Tools"); |
1599 |
|
|
1600 |
button = hildon_button_new_with_text( |
button = hildon_button_new_with_text( |
1601 |
HILDON_SIZE_FINGER_HEIGHT | HILDON_SIZE_AUTO_WIDTH, |
HILDON_SIZE_FINGER_HEIGHT | HILDON_SIZE_AUTO_WIDTH, |
1602 |
HILDON_BUTTON_ARRANGEMENT_VERTICAL, |
HILDON_BUTTON_ARRANGEMENT_VERTICAL, |