Maybe add a preference to control whether to display the symbol toolbar.

[ms458]

Issue Checklist

• [X] I confirm that this feature request has not been previously suggested.
• [X] I agree to follow the project's code of conduct.
• [X] I have checked and verified that I am using the latest version of AndroidIDE from GitHub or F-Droid.

Additional terms

• [X] I understand that feature requests are subject to evaluation and may not be implemented immediately.
• [X] I agree to provide additional details if needed for a clearer understanding of the requested feature.

Feature description

Maybe add a preference to control whether to display the symbol toolbar. The height of the current symbol toolbar is too high. Reduce the height or add a preference to hide it.

Use Case

ah

Benefits

The editor has more visual area.