[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.
Issue Checklist
Additional terms
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.