// à copier dans /home/giref/.theia/
{ 	
    "workbench.iconTheme": "theia-file-icons",
    "editor.fontSize": 18,
    "editor.mouseWheelScrollSensitivity": 10
}