Add padding top to instance properties editor

4ian · Apr 29, 2024 · f45cbb6 · f45cbb6
1 parent 5b110f5
commit f45cbb6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/newIDE/app/src/InstancesEditor/CompactInstancePropertiesEditor/index.js b/newIDE/app/src/InstancesEditor/CompactInstancePropertiesEditor/index.js
@@ -12,7 +12,7 @@ import propertiesMapToSchema from '../../CompactPropertiesEditor/PropertiesMapTo
 import { type Schema } from '../../CompactPropertiesEditor';
 import getObjectByName from '../../Utils/GetObjectByName';
 import IconButton from '../../UI/IconButton';
-import { Line, Column, Spacer } from '../../UI/Grid';
+import { Line, Column, Spacer, marginsSize } from '../../UI/Grid';
 import Text from '../../UI/Text';
 import { type UnsavedChanges } from '../../MainFrame/UnsavedChangesContext';
 import ScrollView from '../../UI/ScrollView';
@@ -149,6 +149,7 @@ const CompactInstancePropertiesEditor = ({
     >
       <ScrollView
         autoHideScrollbar
+        style={{ paddingTop: marginsSize }}
         key={instances
           .map((instance: gdInitialInstance) => '' + instance.ptr)
           .join(';')}