aboutsummaryrefslogtreecommitdiffstats
path: root/src/java/org/apache/fop/render/xml/XMLRenderer.java
diff options
context:
space:
mode:
authorJeremias Maerki <jeremias@apache.org>2006-01-20 13:09:05 +0000
committerJeremias Maerki <jeremias@apache.org>2006-01-20 13:09:05 +0000
commit1d584c0578e207f856a557a3a583b6be273012f6 (patch)
tree4dd1f3a3a7e620dafa05e67510bbc1778a4cf632 /src/java/org/apache/fop/render/xml/XMLRenderer.java
parent5a9b73f0742d64a486e69d9713c3304232ea4492 (diff)
downloadxmlgraphics-fop-1d584c0578e207f856a557a3a583b6be273012f6.tar.gz
xmlgraphics-fop-1d584c0578e207f856a557a3a583b6be273012f6.zip
(Re?)added integer page number to the PageViewport.
Serializing both the integer and the formatted value to the area tree XML. In the XML "nr" is now "formatted-nr" and "nr" is now the integer value. This doesn't have any impact on our layout engine tests as we don't seem to use a non-default for page numbers. Make the current PageViewport available to XMLHandler through the RenderContext. I need this for Barcode4J so the current page number can be used as part of a barcode message. git-svn-id: https://svn.apache.org/repos/asf/xmlgraphics/fop/trunk@370801 13f79535-47bb-0310-9956-ffa450edef68
Diffstat (limited to 'src/java/org/apache/fop/render/xml/XMLRenderer.java')
-rw-r--r--src/java/org/apache/fop/render/xml/XMLRenderer.java3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/java/org/apache/fop/render/xml/XMLRenderer.java b/src/java/org/apache/fop/render/xml/XMLRenderer.java
index 982d138bc..d231569d5 100644
--- a/src/java/org/apache/fop/render/xml/XMLRenderer.java
+++ b/src/java/org/apache/fop/render/xml/XMLRenderer.java
@@ -442,7 +442,8 @@ public class XMLRenderer extends PrintRenderer {
public void renderPage(PageViewport page) throws IOException, FOPException {
atts.clear();
addAttribute("bounds", page.getViewArea());
- addAttribute("nr", page.getPageNumberString());
+ addAttribute("nr", page.getPageNumber());
+ addAttribute("formatted-nr", page.getPageNumberString());
startElement("pageViewport", atts);
startElement("page");