Previous: , 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.

Spotter1

Figure 9.11: Spotter l’outil de recherche