Propriétés de la session

Proposer un éditeur de "propriétés" de la session. Pour l'instant un texte en Markdown avec une prévisualisation.

Ranger ça dans une entrée du menu latéral ?

added To Do label

added enhancement label

changed the description

By Mathias Chouet on 2019-10-04T14:56:59 (imported from GitLab)

added Doing label and removed To Do label

assigned to @mathias.chouet

By Mathias Chouet on 2019-10-09T11:57:12 (imported from GitLab)

closed via commit 7fd0f89c

By Mathias Chouet on 2019-10-10T10:46:34 (imported from GitLab)