Menu

#348 more advanced syntax coloring requested

open
nobody
5
2009-04-21
2009-04-21
Anonymous
No

I am writing a book using ACM java to learn CSI via arcade game programming. I plan to feature Dr. Java as the desired editor.

But it would be *very* helpful if I could get more advanced syntax coloring. Specifically I'd like to be able to set font and colors individually for:
- comments
- quoted material
- java keywords and standard identifiers
- identifiers and methods from the acm library
- programmer declare identifiers

Well, I'm asking a lot but thanks for thinking of it...

Discussion

  • Mathias Ricken

    Mathias Ricken - 2009-04-21

    Due to a bug, the colors of comments, quotes, and keywords could not be configured in the last few versions. This feature has been restored in our latest development release dated 20090402.

    We will consider adding the functionality of setting different colors for identifiers found in libraries. This could use the information we currently use for "Open Java API Javadoc".

     
  • Nobody/Anonymous

    Thank you for considering this. If you are interested I can show you the scheme I am using in my book.

    If I could match Dr. Java with the printed/online versions of the book it would help student significantly, IMO.

     
  • Nobody/Anonymous

    Hmmm, just noted that you didn't offer to allow the setting of fonts. It would be helpful if the font face, bold, italic could also be set for different elements in code.

    The reason is that not all students will wish to print in color - it costs significantly more. Allowing font face characteristics to be set means that the code elements can be differentiated even with black & white printing.

    Just a thought.

     
  • Mathias Ricken

    Mathias Ricken - 2010-03-15

    I talked to Daniel Schuster at SIGCSE, and he expressed his continued interest in this feature.

     
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.