Modifier gtk.Paned taille de la poignée

Question

gtk.Paned contient une propriété de style appelée «handle-size» qui, je suppose, va changer la taille de la poignée, c'est en lecture seule, alors comment puis-je le changer? (Dans PyGtk)

Answer 1

de la documentation gtk.Widget:

gtk.Widget introduit propriétés de style - ce sont essentiellement objet des propriétés qui sont stockées pas sur l'objet, mais dans l'objet de style associé au widget. Les propriétés Style sont définies dans resource files. Ce mécanisme est utilisé pour configurer ces choses comme l'emplacement des flèches de défilement à travers le thème, donnant auteurs thématiques plus de contrôle sur l'apparence des applications sans qu'il soit nécessaire d'écrire un moteur à thème en C.

Le général Dans GTK, la pratique consiste à ne pas définir de propriétés de style à partir de votre programme, mais à utiliser simplement les widgets d'interface utilisateur standard et à laisser l'utilisateur décider de la façon dont ils doivent être affichés (à l'aide d'un thème de bureau).

Answer 2

Vous pouvez alimenter un fichier de ressources personnalisé avant de démarrer votre propre application. En C (espérons que la traduction en python est simple) ce serait:

#include <gtk/gtk.h> 

int 
main(gint argc, gchar **argv) 
{ 
    GtkWidget *window; 
    GtkPaned *paned; 

    gtk_init(&argc, &argv); 

    gtk_rc_parse_string("style 'my_style' {\n" 
         " GtkPaned::handle-size = 200\n" 
         " }\n" 
         "widget '*' style 'my_style'"); 

    window = gtk_window_new(GTK_WINDOW_TOPLEVEL); 

    paned = (GtkPaned *) gtk_hpaned_new(); 
    gtk_paned_add1(paned, gtk_label_new("left")); 
    gtk_paned_add2(paned, gtk_label_new("right")); 

    gtk_container_add(GTK_CONTAINER(window), GTK_WIDGET(paned)); 

    gtk_widget_show_all(window); 
    gtk_main(); 

    return 0; 
}