Add padding top to instance properties editor #8320

	# GitHub Action to extract translations and (later) upload them to Crowdin.

	name: Extract translations
	on:
	# Execute for all commits (to ensure translations extraction works)
	push:
	branches:
	- "**"
	tags-ignore:
	- "**" # Don't run on new tags
	# Allows to run this workflow manually from the Actions tab.
	workflow_dispatch:

	jobs:
	extract-translations:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-node@v3
	with:
	node-version: 16
	cache: "npm"
	cache-dependency-path: "newIDE/app/package-lock.json"

	- name: Install gettext
	run: sudo apt update && sudo apt install gettext -y

	- name: Install newIDE dependencies
	run: npm ci
	working-directory: newIDE/app

	- name: Extract translations
	run: npm run extract-all-translations
	working-directory: newIDE/app

	# Only upload on Crowdin for the master branch
	- name: Install Crowdin CLI
	if: github.ref == 'refs/heads/master'
	run: npm i -g @crowdin/cli

	- name: Upload translations to Crowdin
	run: crowdin upload sources
	if: github.ref == 'refs/heads/master'
	env:
	CROWDIN_PROJECT_ID: ${{ secrets.CROWDIN_PROJECT_ID }}
	CROWDIN_PERSONAL_TOKEN: ${{ secrets.CROWDIN_PERSONAL_TOKEN }}

Provide feedback