-
-
Notifications
You must be signed in to change notification settings - Fork 532
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ace code editor #359
Ace code editor #359
Conversation
@xavArtley I'd be happy to merge this once there is a reference gallery entry. At some point we will have to have a discussion which components make sense in panel itself and which could be added somewhere else. |
Indeed I think this model should be external to panel more in some custom extensions |
We'll need to work out a plan for managing external components like this. |
ad5b899
to
c28a2d9
Compare
c28a2d9
to
148e070
Compare
I'm actually happy to merge this now and move it later if we decide on a repo to extend panel. Does that sound okay @xavArtley ? |
Ok for me |
This PR add a panel of type code editor
It's based on this library https://github.com/ajaxorg/ace/
I have activated the language and theme selection

basic autocompletion with ctrl+space
and possibility to add anotations