1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/formatting/TeXFormatter.java	Sat Aug 15 10:04:28 2015 +0200
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/formatting/TeXFormatter.java	Sat Aug 15 10:20:39 2015 +0200
     1.3 @@ -19,6 +19,9 @@
     1.4  
     1.5  import info.globalcode.sql.dk.ColorfulPrintWriter;
     1.6  import info.globalcode.sql.dk.Constants;
     1.7 +import info.globalcode.sql.dk.configuration.PropertyDeclaration;
     1.8 +import static info.globalcode.sql.dk.formatting.CommonProperties.COLORFUL;
     1.9 +import static info.globalcode.sql.dk.formatting.CommonProperties.COLORFUL_DESCRIPTION;
    1.10  import java.util.Collections;
    1.11  import java.util.HashMap;
    1.12  import java.util.List;
    1.13 @@ -29,10 +32,10 @@
    1.14   *
    1.15   * @author Ing. František Kučera (frantovo.cz)
    1.16   */
    1.17 +@PropertyDeclaration(name = COLORFUL, type = Boolean.class, description = COLORFUL_DESCRIPTION)
    1.18  public class TeXFormatter extends AbstractFormatter {
    1.19  
    1.20  	public static final String NAME = "tex"; // bash-completion:formatter
    1.21 -	public static final String PROPERTY_COLORFUL = "color";
    1.22  	private static final ColorfulPrintWriter.TerminalColor COMMAND_COLOR = ColorfulPrintWriter.TerminalColor.Magenta;
    1.23  	private static final ColorfulPrintWriter.TerminalColor OPTIONS_COLOR = ColorfulPrintWriter.TerminalColor.Yellow;
    1.24  	private static final Map<Character, String> TEX_ESCAPE_MAP;
    1.25 @@ -58,7 +61,7 @@
    1.26  
    1.27  	public TeXFormatter(FormatterContext formatterContext) {
    1.28  		super(formatterContext);
    1.29 -		boolean colorful = formatterContext.getProperties().getBoolean(PROPERTY_COLORFUL, false);
    1.30 +		boolean colorful = formatterContext.getProperties().getBoolean(COLORFUL, false);
    1.31  		out = new ColorfulPrintWriter(formatterContext.getOutputStream(), false, colorful);
    1.32  	}
    1.33