Skip to content

Use HTML to print #4369

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

Merged
benfry merged 1 commit into from
Aug 13, 2016
Merged

Use HTML to print #4369

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
76 changes: 40 additions & 36 deletions app/src/processing/app/syntax/JEditTextArea.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -258,11 +258,6 @@ public final TextAreaPainter getPainter() {
}


public final Printable getPrintable() {
return painter.getPrintable();
}


/**
* Returns the input handler.
*/
Expand Down Expand Up @@ -1724,16 +1719,38 @@ public void copy() {
* specific to any language or version of the PDE.
*/
public void copyAsHTML() {
StringBuilder cf = new StringBuilder("<html><body><pre>\n");
HtmlSelection formatted = new HtmlSelection("<html><body><pre>\n"
+ getTextAsHtml(null) + "\n</pre></body></html>");

Clipboard clipboard = processing.app.ui.Toolkit.getSystemClipboard();
clipboard.setContents(formatted, new ClipboardOwner() {
public void lostOwnership(Clipboard clipboard, Transferable contents) {
// I don't care about ownership
}
});
}


/**
* Guts of copyAsHTML, minus the pre, body, and html blocks surrounding.
* @param doc If null, read only the selection if any, and use the active
* document. Otherwise, the whole of doc is used.
*/
public String getTextAsHtml(SyntaxDocument doc) {
StringBuilder cf = new StringBuilder();

int selStart = getSelectionStart();
int selStop = getSelectionStop();

int startLine = getSelectionStartLine();
int stopLine = getSelectionStopLine();

if (doc != null) {
startLine = 0;
stopLine = doc.getDefaultRootElement().getElementCount() - 1;
}
// If no selection, convert all the lines
if (selStart == selStop) {
else if (selStart == selStop) {
startLine = 0;
stopLine = getLineCount() - 1;
} else {
Expand All @@ -1742,66 +1759,54 @@ public void copyAsHTML() {
stopLine--;
}
}
if (doc == null) {
doc = getDocument();
}

// Read the code line by line
for (int i = startLine; i <= stopLine; i++) {
emitAsHTML(cf, i);
emitAsHTML(cf, i, doc);
}

cf.append("\n</pre></body></html>");

HtmlSelection formatted = new HtmlSelection(cf.toString());

Clipboard clipboard = processing.app.ui.Toolkit.getSystemClipboard();
clipboard.setContents(formatted, new ClipboardOwner() {
public void lostOwnership(Clipboard clipboard, Transferable contents) {
// i don't care about ownership
}
});
return cf.toString();
}


private void emitAsHTML(StringBuilder cf, int line) {
private void emitAsHTML(StringBuilder cf, int line, SyntaxDocument doc) {
// Almost static; only needs the painter for a color scheme.
Segment segment = new Segment();
getLineText(line, segment);
try {
Element element = doc.getDefaultRootElement().getElement(line);
int start = element.getStartOffset();
int stop = element.getEndOffset();
doc.getText(start, stop - start - 1, segment);
} catch (BadLocationException e) { return; }

char[] segmentArray = segment.array;
int limit = segment.getEndIndex();
int segmentOffset = segment.offset;
int segmentCount = segment.count;

TokenMarker tokenMarker = getTokenMarker();
TokenMarker tokenMarker = doc.getTokenMarker();
// If syntax coloring is disabled, do simple translation
if (tokenMarker == null) {
for (int j = 0; j < segmentCount; j++) {
char c = segmentArray[j + segmentOffset];
//cf = cf.append(c);
appendAsHTML(cf, c);
}
} else {
// If syntax coloring is enabled, we have to do this
// because tokens can vary in width
Token tokens;
if ((painter.getCurrentLineIndex() == line) &&
(painter.getCurrentLineTokens() != null)) {
tokens = painter.getCurrentLineTokens();

} else {
painter.setCurrentLineIndex(line);
painter.setCurrentLineTokens(tokenMarker.markTokens(segment, line));
tokens = painter.getCurrentLineTokens();
}
Token tokens = tokenMarker.markTokens(segment, line);

int offset = 0;
SyntaxStyle[] styles = painter.getStyles();

for (;;) {
byte id = tokens.id;
if (id == Token.END) {
char c = segmentArray[segmentOffset + offset];
if (segmentOffset + offset < limit) {
//cf.append(c);
appendAsHTML(cf, c);
appendAsHTML(cf, segmentArray[segmentOffset + offset]);
} else {
cf.append('\n');
}
Expand All @@ -1824,7 +1829,6 @@ private void emitAsHTML(StringBuilder cf, int line) {
cf.append("&nbsp;");
} else {
appendAsHTML(cf, c);
//cf.append(c);
}
// Place close tags [/]
if (j == (length - 1) && id != Token.NULL && styles[id].isBold())
Expand Down
43 changes: 2 additions & 41 deletions app/src/processing/app/syntax/TextAreaPainter.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,6 @@

import java.awt.event.MouseEvent;
import java.awt.*;
import java.awt.print.*;

import javax.swing.ToolTipManager;
import javax.swing.text.*;
Expand All @@ -28,9 +27,6 @@
* @author Slava Pestov
*/
public class TextAreaPainter extends JComponent implements TabExpander {
/** True if inside printing, will handle disabling the highlight */
boolean printing;

/** A specific painter composed by the InputMethod.*/
protected CompositionTextPainter compositionTextPainter;

Expand Down Expand Up @@ -502,38 +498,6 @@ public void paint(Graphics gfx) {
}


public Printable getPrintable() {
return new Printable() {

@Override
public int print(Graphics graphics, PageFormat pageFormat,
int pageIndex) throws PrinterException {
int lineHeight = fm.getHeight();
int linesPerPage = (int) (pageFormat.getImageableHeight() / lineHeight);
int lineCount = textArea.getLineCount();
int lastPage = lineCount / linesPerPage;

if (pageIndex > lastPage) {
return NO_SUCH_PAGE;

} else {
Graphics2D g2 = (Graphics2D) graphics;
TokenMarker tokenMarker = textArea.getDocument().getTokenMarker();
int firstLine = pageIndex*linesPerPage;
g2.translate(Math.max(54, pageFormat.getImageableX()),
pageFormat.getImageableY() - firstLine*lineHeight);
printing = true;
for (int line = firstLine; line < firstLine + linesPerPage; line++) {
paintLine(g2, line, 0, tokenMarker);
}
printing = false;
return PAGE_EXISTS;
}
}
};
}


/**
* Marks a line as needing a repaint.
* @param line The line to invalidate
Expand Down Expand Up @@ -661,9 +625,7 @@ protected void paintLine(Graphics gfx, int line, int x,
// protected void paintPlainLine(Graphics gfx, int line, Font defaultFont,
// Color defaultColor, int x, int y) {
protected void paintPlainLine(Graphics gfx, int line, int x, int y) {
if (!printing) {
paintHighlight(gfx,line,y);
}
paintHighlight(gfx,line,y);
textArea.getLineText(line, currentLine);

// gfx.setFont(plainFont);
Expand Down Expand Up @@ -786,8 +748,7 @@ protected int paintSyntaxLine(Graphics gfx, Segment line, int x, int y,
}


protected void paintHighlight(Graphics gfx, int line, int y) {//, boolean printing) {
// if (!printing) {
protected void paintHighlight(Graphics gfx, int line, int y) {
if (line >= textArea.getSelectionStartLine() &&
line <= textArea.getSelectionStopLine()) {
paintLineHighlight(gfx, line, y);
Expand Down
41 changes: 39 additions & 2 deletions app/src/processing/app/ui/Editor.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -64,6 +64,7 @@
import javax.swing.event.*;
import javax.swing.plaf.basic.*;
import javax.swing.text.*;
import javax.swing.text.html.*;
import javax.swing.undo.*;


Expand Down Expand Up @@ -2610,15 +2611,51 @@ public void handlePageSetup() {
*/
public void handlePrint() {
statusNotice(Language.text("editor.status.printing"));

StringBuilder html = new StringBuilder("<html><body>");
for (SketchCode tab : sketch.getCode()) {
html.append("<b>" + tab.getPrettyName() + "</b><br>");
html.append(textarea.getTextAsHtml((SyntaxDocument)tab.getDocument()));
html.append("<br>");
}
html.setLength(html.length() - 4); // Don't want last <br>.
html.append("</body></html>");
JTextPane jtp = new JTextPane();
// Needed for good line wrapping; otherwise one very long word breaks
// wrapping for the whole document.
jtp.setEditorKit(new HTMLEditorKit() {
public ViewFactory getViewFactory() {
return new HTMLFactory() {
public View create(Element e) {
View v = super.create(e);
if (!(v instanceof javax.swing.text.html.ParagraphView))
return v;
else
return new javax.swing.text.html.ParagraphView(e) {
protected SizeRequirements calculateMinorAxisRequirements(
int axis, SizeRequirements r) {
r = super.calculateMinorAxisRequirements(axis, r);
r.minimum = 1;
return r;
}
};
}
};
}
});
jtp.setFont(new Font(Preferences.get("editor.font.family"), Font.PLAIN, 10));
jtp.setText(html.toString().replace("\n", "<br>") // Not in a <pre>.
.replaceAll("(?<!&nbsp;)&nbsp;", " ")); // Allow line wrap.

//printerJob = null;
if (printerJob == null) {
printerJob = PrinterJob.getPrinterJob();
}
if (pageFormat != null) {
//System.out.println("setting page format " + pageFormat);
printerJob.setPrintable(textarea.getPrintable(), pageFormat);
printerJob.setPrintable(jtp.getPrintable(null, null), pageFormat);
} else {
printerJob.setPrintable(textarea.getPrintable());
printerJob.setPrintable(jtp.getPrintable(null, null));
}
// set the name of the job to the code name
printerJob.setJobName(sketch.getCurrentCode().getPrettyName());
Expand Down