Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Syntax Highlighting #4

Open
pdaian opened this issue Aug 25, 2013 · 2 comments
Open

Syntax Highlighting #4

pdaian opened this issue Aug 25, 2013 · 2 comments
Assignees
@pdaian
Labels
enhancement question

Comments

@pdaian
Copy link
Member

pdaian commented Aug 25, 2013

Investigate possible syntax highlighting using emacs rules for K.
@ghost ghost assigned pdaian Aug 25, 2013
@osa1
Copy link
Member

osa1 commented Sep 3, 2013

CodeMirror has an easy way to define custom syntax highlighting and indentation rules, written in JavaScript. Looking to vim kframework syntax file, it looks like K syntax is not very complicated, so I think it wouldn't be that hard to just write a new syntax file for CodeMirror in JavaScript(or CoffeeScript).

I'm not sure if using emacs rules directly without writing an elisp interpreter is possible.

@pdaian
Copy link
Member Author

pdaian commented Sep 7, 2013

@osa1 - Yeah, CodeMirror and Ace may be promising directions to go for this part of the editor. I'll need to mess around with them for a few days and see what works well. Thanks for the suggestion!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@pdaian pdaian

Labels
enhancement question
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@osa1 @pdaian