Outils pour utilisateurs

Outils du site


public:spec_fileexplorer_view

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

public:spec_fileexplorer_view [2016/11/25 15:42]
matthieu.decorde@ens-lyon.fr créée
public:spec_fileexplorer_view [2016/11/25 15:51] (Version actuelle)
matthieu.decorde@ens-lyon.fr
Ligne 32: Ligne 32:
       * F5 : recharger les fichiers       * F5 : recharger les fichiers
       * Suppr : supprimer le fichier sélectionné       * Suppr : supprimer le fichier sélectionné
 +
 +=== Évolutions ===
 +
 +À l'​ouverture de la vue, la racine de la vue est : le parent de TXMHOME renseigné dans les préférences : bypass Java dans les cas problématiques où user.home est faux.
 +
 +<​note>​Plus généralement,​ remplacer System.getProperty("​user.home"​) par Toolbox.getUserHome()</​note>​
 +
 +Contient :
 +  * un bouton "​dossier parent"​ : remonter la sélection (et viewport) d'un cran
 +  * un champ "​chemin"​ : change la sémantique de "​racine d'​affichage"​ à dossier courant
 +    * le chemin se met à jour quand on change la sélection
 +    * Entrée : sélectionne aller au dossier du fichier renseigné
 +  * un bouton "​home"​ : revenir au début de l'​arborescence
 +  * un bouton "​..."​ : changer la racine de la vue
 +
 +
  
 ==== Eclipse File explorer ==== ==== Eclipse File explorer ====
public/spec_fileexplorer_view.txt · Dernière modification: 2016/11/25 15:51 par matthieu.decorde@ens-lyon.fr