Comment dire… C'était une vraie question, sieur robertix…
Je ne crois pas qu'il y ait de signets dans devhelp, mais je ne suis pas sûr. La réduction en zone de notification n'a pas grand intérêt, c'est au gestionnaire de fenêtres de gérer ce genre de choses. Quant à la sélection de la langue, c'est normalement à l'application de la choisir d'après la locale active, et t'afficher de l'anglais si la doc n'est pas disponible dans ta langue, mais je ne pense pas qu'ajouter cela dans l'interface apporte quoi que ce soit si cela peut être fait automatiquement. Note que la difficulté ici vient plus de la disponibilité de documentation dans ta langue (peu de docs techniques sont traduits) plutôt qu'être capable de la choisir… Les interfaces comme devhelp permettent de rechercher directement dans l'API, plus utile que dans le texte entier.
Après, si ce n'est pas spécifique à des interfaces de programmation, ton navigateur web sait déjà faire tout ça (Ctrl+B dans firefox pour le panneau latéral, et tu peux mettre des fichiers locaux dans tes marque pages)… je t'invite à taper file:///usr/share/doc dans ton navigateur web.
[^] # Re: Pérégrinations intellectuelles ?
Posté par liberforce (site web personnel, Mastodon) . En réponse au message gdoc kdoc jdoc tkdoc xdocs. Évalué à 2.
Comment dire… C'était une vraie question, sieur robertix…
Je ne crois pas qu'il y ait de signets dans devhelp, mais je ne suis pas sûr. La réduction en zone de notification n'a pas grand intérêt, c'est au gestionnaire de fenêtres de gérer ce genre de choses. Quant à la sélection de la langue, c'est normalement à l'application de la choisir d'après la locale active, et t'afficher de l'anglais si la doc n'est pas disponible dans ta langue, mais je ne pense pas qu'ajouter cela dans l'interface apporte quoi que ce soit si cela peut être fait automatiquement. Note que la difficulté ici vient plus de la disponibilité de documentation dans ta langue (peu de docs techniques sont traduits) plutôt qu'être capable de la choisir… Les interfaces comme devhelp permettent de rechercher directement dans l'API, plus utile que dans le texte entier.
Après, si ce n'est pas spécifique à des interfaces de programmation, ton navigateur web sait déjà faire tout ça (Ctrl+B dans firefox pour le panneau latéral, et tu peux mettre des fichiers locaux dans tes marque pages)… je t'invite à taper file:///usr/share/doc dans ton navigateur web.