<type>wingtip</type>
<domain>intro</domain>
<id>folding</id>
<title>Folding</title>
<date>$Date: 2004-06-22 23:31:47 -0400 (Tue, 22 Jun 2004) $</date>
<version>$Revision: 8861 $</version>
<product>per+</product>

~~PRODUCT_NAME~~'s editor provides code folding for Python, C, C++, Java, HTML, and a number
of other languages.  For these file types, a folding margin appears at the left of the
editor.  Right-click on the margin for additional folding operation, or use ``Folding``
in the ``Source`` menu.

See `Folding <ref:edit/folding>`__ for details.

