7 lines
163 B
JSON
7 lines
163 B
JSON
// à copier dans /home/giref/.theia/
|
|
{
|
|
"workbench.iconTheme": "theia-file-icons",
|
|
"editor.fontSize": 18,
|
|
"editor.mouseWheelScrollSensitivity": 10
|
|
}
|