[PATCH] make right margin smaller

[Jean-Marc Lasgouttes]

I plan to apply the following trivial patch to branch and trunk
tomorrow. Any objection?

I think that Lars forgot to reduce the right margin when he did redice
the left margin of documents.

JMarc


Index: src/rowpainter.h
===================================================================
--- src/rowpainter.h	(revision 14346)
+++ src/rowpainter.h	(working copy)
@@ -35,7 +35,7 @@ inline int nestMargin() { return 15; }
 inline int changebarMargin() { return 10; }
 
 /// right margin
-inline int rightMargin() { return 30; }
+inline int rightMargin() { return 10; }
 
 
 #endif // ROWPAINTER_H