Bug 113545

Description Stefan Küttner 2005-10-24 11:23:23 EDT

If you place a pre-formatted text snipped into the JavaDoc Comment using the
HTML <pre> Tag and format the code using Strg+Alt+F, the pre-formatted text
becomes indented.

Example:
/**
 * <pre>
 * This
 *     is
 *       pre-formatted.
 * </pre>
 */

becomes formatted to:

/**
 * <pre>
 * 
 *  This
 *      is
 *        pre-formatted.
 *  
 * </pre>
 */

After 10 times formatting this leads to:

/**
 * <pre>
 * 
 *  
 *   
 *    
 *     
 *      
 *       
 *        
 *         
 *          
 *           This
 *               is
 *                 pre-formatted.
 *           
 *          
 *         
 *        
 *       
 *      
 *     
 *    
 *   
 *  
 * </pre>
 */