-
-
Notifications
You must be signed in to change notification settings - Fork 94
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
Update pragma/function name highlight and color settings page, move config page #334
Conversation
Maybe a special highlighting for pragma should be added. |
Makes sense, since there's whole lot of these pragmas where keywords highlighting would be useful, e.g. |
A problem is, my Windows laptop has stack installed so it works well with intellij-haskell but there's no JDK and Scala SDK on it, while my Linux laptop has only cabal so it doesn't work with intellij-haskell but there's full JVM/IntelliJ plugin dev environment on it. This is very painful.. |
@ice1000 Sorry to hear it's painful. Why don't you install stack on your linux laptop? |
Second that, should definitely do the job. |
It's too large 😂 Well, I'm fine with it anyway. Me myself is a plugin developer -- I'm the owner of the Julia plugin. |
@rikvdkleij What do u think of #333 ? What's actually painful is maintaining two PRs at the same time. |
That is easily solved 😄 Thanks! |
It's really great that you are using your experience to improve this plugin! |
Yeah, we're all plugin developers. So we share the same goal, the same pain 😂 |
43b9045
to
35c5497
Compare
Rebased! Maybe we need to provide default color settings. |
Don't merge right now, I may want to add more syntax highlight. |
Ok, let me know when it's finished. |
I want to move Haskell's settings to the |
Makes perfect sense to me |
Good idea. |
All set. |
Could we not spellcheck stuff coming from external libraries instead? |
This is hard to implement, the API is inconvenient for doing this. |
Should we ask JetBrains to implement this globally instead? |
I don't think so. It's hard to explain why if you have no idea about the IntelliJ-Platform architecture. |
There's a chat room for plugin developers: https://gitter.im/IntelliJ-Plugin-Developers/Lobby |
Oh! My essay! 😨 |
Ping @rikvdkleij |
Thanks!! |
Fixes #332