diff --git a/ide.general.xml b/ide.general.xml index a71e8fc..2e5f1f2 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -34,9 +34,16 @@