Skip to content

Conversation

@thecoolwinter
Copy link
Collaborator

Description

Updates CodeEditSourceEditor to 0.14.0, and subsequently CodeEditTextView to 0.11.6. Adds two new settings:

  • Show Gutter - toggles the visibility of the entire gutter in the editor.
  • Show Code Folding Ribbon - toggles the visibility of the folding ribbon.

Related Issues

Checklist

  • I read and understood the contributing guide as well as the code of conduct
  • The issues this PR addresses are related to each other
  • My changes generate no new warnings
  • My code builds and runs on my machine
  • My changes are all related to the related issue above
  • I documented my code

Screenshots

settings-demo.mov

@thecoolwinter thecoolwinter added enhancement New feature or request chore labels Jul 3, 2025
@thecoolwinter thecoolwinter mentioned this pull request Jul 3, 2025
6 tasks
@thecoolwinter thecoolwinter merged commit bcd5f11 into CodeEditApp:main Jul 3, 2025
2 checks passed
@thecoolwinter thecoolwinter deleted the core/update-cese branch July 3, 2025 19:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

🐞 Line numbers misaligned ✨ Setting to toggle line number visibility

1 participant