1742 |
/* vertical tool bar */ |
/* vertical tool bar */ |
1743 |
vertToolBar = gtk_toolbar_new(); |
vertToolBar = gtk_toolbar_new(); |
1744 |
gtk_toolbar_set_style(GTK_TOOLBAR(vertToolBar), GTK_TOOLBAR_ICONS); |
gtk_toolbar_set_style(GTK_TOOLBAR(vertToolBar), GTK_TOOLBAR_ICONS); |
1745 |
gtk_toolbar_set_orientation(GTK_TOOLBAR(vertToolBar), GTK_ORIENTATION_HORIZONTAL); |
gtk_toolbar_set_orientation(GTK_TOOLBAR(vertToolBar), GTK_ORIENTATION_VERTICAL); |
1746 |
|
|
1747 |
buttonBrush = gtk_toolbar_append_element(GTK_TOOLBAR(vertToolBar), |
buttonBrush = gtk_toolbar_append_element(GTK_TOOLBAR(vertToolBar), |
1748 |
GTK_TOOLBAR_CHILD_RADIOBUTTON, NULL, NULL, |
GTK_TOOLBAR_CHILD_RADIOBUTTON, NULL, NULL, |