Results of 0 - 1 of about 0 (0.000 sec.)
- Spotter (Dr.Geo, soit un géomètre)
- @digest: 7f71ec85924740a1b1c112e4d11ad6f5
- @id: 27201
- @mdate: 2019-08-06T08:10:01Z
- @size: 3743
- @type: text/html
- content-type: text/html; charset=utf-8
- description: Spotter (Dr.Geo, soit un géomètre)
- distribution: global
- generator: texi2any
- keywords: Spotter (Dr.Geo, soit un géomètre)
- resource-type: document
- #keywords: spotter (23579), integree (4019), chercheur (3920), raccourci (3133), rechercher (2136), recherche (2059), precedemment (1988), geometre (1790), clavier (1446), outil (1163), developpeur (1060), contenu (1017), environnement (910), capable (388), figure (242), dans (162), internet (144), scripts (142), documentation (58), previous (49), de (32), ( (1), dr (1), . (1), geo (1), , (1), soit (1), un (1), ) (1), : (1), up (1), outils (1)
- Previous: Chercheur , Up: Outils du développeur [ Index ] 9.6 Spotter Spotter est un outil de recherche de contenu dans l'environnement Dr.Geo. Il s'active par le raccourci clavier Shift-Enter et il suffit alors de saisir un mot de recherche. Il est capable de rechercher dans les menus, le code source, la documentation intégrée, voire des scripts de figure Pharo sur internet comme montré précédemment. Figure 9.11: Spotter l'outil de recherche
...
-
http://www.gnu.org/savannah-checkouts/gnu/dr-geo/doc/fr/Spotter.html
- [detail]
- [similar]
PREV
NEXT