From e7b1d8b488c0a61c04a6bdae817020e1b3014356 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sun, 9 Feb 2014 12:05:40 +0100 Subject: 3 ways to use gtk with ocaml --- content/Informatique/gueule1.rst | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'content/Informatique/gueule1.rst') diff --git a/content/Informatique/gueule1.rst b/content/Informatique/gueule1.rst index 8832e66..b92a0d7 100644 --- a/content/Informatique/gueule1.rst +++ b/content/Informatique/gueule1.rst @@ -5,9 +5,11 @@ Essai raté d'un plugin gedit ############################ :date: 20/04/2013 -:tags: Programmation, Libre, Humeur +:tags: Programmation, Libre, Humeur, gtk :logo: static/images/gedit.png +.. default-role:: literal + En relisant mes articles, j'ai décidé d'utiliser languageTool_ pour vérifier la grammaire avant de les publier. Puis en regardant l'outil, j'ai voulu voir s'il existait un plugin gedit permettant de l'intégrer dans l'édition d'un texte @@ -37,14 +39,14 @@ Devant du code C ================ Le binding python est assez limité, il faut remonter dans l'API C pour trouver -ce que l'on cherche, et là : +ce que l'on cherche, et là : * erreur 404 dans l'API (par exemple les liens de l'« Object Hierarchy » de - GtkSourceView_) + GtkSourceView_) * Des messages d'erreurs abscons dûs à l'introspection (par exemple en cas de mauvais objet passé en paramètre) -* Des dépendances de plus en plus importantes à chaque nouvelle étape (gedit, - gtk, puis pango_\ …) +* Des dépendances de plus en plus importantes à chaque nouvelle étape (`gedit`, + `gtk`, puis pango_\ …) Plus j'avance, et plus j'ai l'impression que le chemin qui reste à parcourir est grand ! Qu'il est loin le temps où je m'étais penché sur Vala_ pour -- cgit v1.2.3