You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I confirm that this feature request has not been previously suggested.
I agree to follow the project's code of conduct.
I have checked and verified that I am using the latest version of AndroidIDE from GitHub or F-Droid.
Additional terms
I understand that feature requests are subject to evaluation and may not be implemented immediately.
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: