ocaml lablgtk compilation
Bonjour,
J'ai une vieille version de lablgtk (1.2.7) qui ne va pas bouger pour le moment car j'ai toutes mes applications qui fonctionnent avec. Cependant, je voudrais savoir si c'est possible de rajouter une (puis quelques ?) petite fonctionnalité à cette veille version de lablgtk.
Je voudrais rajouter la position d'une fenêtre CENTER_ON_PARENT.
Dans ma version lablgtk, le type window_position est tel quel :
Code:
1 2 3
|
type window_position =
[ `NONE|`CENTER|`MOUSE|`CENTER_ALWAYS ] |
et dans les versions actuelles :
Code:
1 2 3
|
type window_position =
[ `NONE|`CENTER|`MOUSE|`CENTER_ALWAYS|`CENTER_ON_PARENT ] |
Ce type (et utilisation) n'est présent que dans les fichiers gtk.ml et gtk_tags.var.
J'aurais voulu savoir si c'était possible (et si oui comment faire) de rajouter cette fonctionnalité et re-compiler lablgtk pour que ce soit pris en compte (j'ai n'ai pas trouvé de réponse sur l'internet pour ces questions (comment modifier/comment re-compiler tout ou une partie ?)). J'imagine aussi qu'il doit y avoir des fichiers C correspondant qu'il faudrait modifier.
Les différences entre lablgtk 1 et 2 sont justes trop grandes pour me donner la moindre information.
Mon autre problème viens peut être d'un bug de ma vieille version gtk et qui a peut être été fixé depuis. Dans un arbre graphique (comprendre dans une fenêtre graphique où l'on clic sur le +/- pour plier/déplier l'arbre) comme tel :
- racine
| - a
| | --> ss-a1
| | --> ss-a2
| - b
| | --> ss-b1
| | --> ss-b2
| + c
si je consulte la feuille d'un sous-arbre (par exemple ss-a1), puis que je consulte une autre feuille d'un autre sous arbre (ex ss-b1) sans refermer le sous arbre a. Si je ferme ma racine (et que donc certains de mes sous-arbre sont encore dépliés), alors j'ai un segmentation fault (sans autres informations). Pourtant je m'applique à bien fermer tous les sous-arbres en itérant sur chacun des fils de ma racine.
Si jamais vous aviez une quelconque idée ou déjà rencontré ce problème ?
Ce sont deux problèmes distincts mais bon.
Merci pour votre temps.