Gitlab CSE Unil

  1. 06 Aug, 2015 1 commit
  2. 30 Jun, 2015 1 commit
    • Julien Furrer's avatar
      Optimisé support raccourcis clavier · 2c2eb513
      Julien Furrer authored
      Les reccourcis clavier sont configurable par environement, et par contexte dans un environnement.
      Il y a deux contextes globaux (pour tous les environement) 'edt' et 'rewiew'. Chaque environement peut en défénir d'autre.
      2c2eb513
  3. 26 Jun, 2015 1 commit