fix(file_explorer) Fix navigation handling #58

	name: Verify the widget property name
	on:
	push:
	pull_request:

	jobs:
	verify-property-name:
	if: ${{ github.event_name != 'pull_request' \|\| github.repository != github.event.pull_request.head.repo.full_name }}
	runs-on: ubuntu-22.04
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	with:
	persist-credentials: false
	fetch-depth: 0
	- name: Generate property names
	run: python properties.py
	working-directory: scripts
	- name: Check that repository is clean
	shell: bash
	run: \|
	set -o pipefail
	if ! (git diff --exit-code --color=always \| tee /tmp/lvgl_diff.patch); then
	echo "Please apply the preceding diff to your code or run scripts/properties.py"
	exit 1
	fi

Provide feedback