Moved desktop margin options to a more sensible place

[wxWidgets.git] / docs / latex / wx / richtextparagraphstyledefinition.tex

diff --git a/docs/latex/wx/richtextparagraphstyledefinition.tex b/docs/latex/wx/richtextparagraphstyledefinition.tex
index c6491d04094cb7042511c2e85ba4d37a8634be4a..5e71ded8882cf9f7be96fffbee95a6f840d3368e 100644 (file)
--- a/docs/latex/wx/richtextparagraphstyledefinition.tex
+++ b/docs/latex/wx/richtextparagraphstyledefinition.tex
@@ -4,12 +4,17 @@ This class represents a paragraph style definition, usually added to a \helpref{
 
 \wxheading{Derived from}
 
-\helpref{wxRichTextStyleDefinition}{wxrichtextstyledefinition}
+\helpref{wxRichTextStyleDefinition}{wxrichtextstyledefinition}\\
+\helpref{wxObject}{wxobject}
 
 \wxheading{Include files}
 
 <wx/richtext/richtextstyles.h>
 
+\wxheading{Library}
+
+\helpref{wxRichtext}{librarieslist}
+
 \wxheading{Data structures}
 
 \latexignore{\rtfignore{\wxheading{Members}}}
@@ -37,3 +42,4 @@ Returns the style that should normally follow this style.
 \func{void}{SetNextStyle}{\param{const wxString\& }{name}}
 
 Sets the style that should normally follow this style.
+