[BLUEJ-178] Work out how to specify custom print options
We need a way to turn syntax highlighting on and off for printing, and once ticket BLUEJ-50 is fixed, line numbers as well. However, it seems that the Java print dialog can't be customised -- see e.g. http://forums.sun.com/thread.jspa?threadID=395975 (and I think, while it's a Swing dialog on Linux, it's a native dialog on some systems).
So if we want to allow the user to specify other printing customisations, it seems like we either need to display them another dialog before the printing dialog (irritating to have to click through two dialogs), or we will need to put it as a persistent preference (which makes changing them per-job irritating).
I thought about using colour/b&w as a proxy for the syntax highlighting setting (turn it on in colour, off in b&w), but on my Linux system at least, Java only allows me to select colour for the printer -- even though it's a b&w printer.
Issue metadata
- Issue type: Bug
- Priority: Low
- Fix versions: 3.0.0