Précédent Index Suivant

Trucs et astuces

 

 
Que serait un journal, un livre, un cédérom sans une rubrique de trucs et d'astuces! Il existe plein de trucs permettant d'obtenir d'étranges effets de VideoScm, je ne vais cependant pas livrer tous mes secrets de fabrication!
 
Cette page contient donc quelques astuces concernant le cédérom. Si vous avez d'autres idées, faites-nous en part que nous puissions enrichir cette page.  
Vitesse  
Si vous souhaitez une consultation rapide du cédérom, vous pouvez le recopier sur votre disque dur, la vitesse de chargement des pages en sera largement accrue. Néanmoins la recopie du cédérom demande de la place sur votre disque dur (moins de 650 Méga octets) et du temps pour être recopié (moins de 20 minutes classiquement).
 
Il est également possible de ne copier qu'une partie du cédérom suivant que vous souhaitez la partie mathématique ou informatique.
 
Recherche  
Pour rechercher des pages contenant un certain mot, vous pouvez utiliser les outils d'indexation de Windows (« Recherche accélérée » (ou FastFinder en anglais) accessible depuis le tableau de bord) mais comme vous ne pouvez écrire les fichiers d'indexation sur le cédérom, vous devez avoir préalablement recopié le cédérom sur votre disque dur (cf. point précédent).
 
Pour vous aider (et si je n'oublie pas), le cédérom sera pré-indexé pour Windows (j'espère que cela marche!)
 
Présentation  
Afin que les expressions verifier ... (cette syntaxe est définie par les adjonctions) soient présentées correctement, enseignez vous-même à DrScheme ce que vous souhaitez. Dans le menu « Edit » puis « Preferences », choisissez la catégorie « Indenting », cliquez sur le bouton « add » en bas de la colonne « Define-like keywords », indiquez « verifier » dans la fenêtre qui apparaît et c'est fini. Vérifiez de suite dans la fenêtre d'édition de DrScheme que, lorsque vous appuyez sur la touche « Enter » au bout de la ligne suivante, le curseur se positionne en dessous du « e » de verifier.
 
(verifier fonction
  |     


Auteur(s): Christian.Queinnec@lip6.fr.Mainteneur de la page: Christian.Queinnec@lip6.fr.
 

Précédent Index Suivant