/** @return true, if line numbers will be rendered */ public final boolean hasLineNumbers() { return behavior.hasLineNumbers(); }
/** @return true, if line numbers will be rendered */ public final boolean hasLineNumbers() { return behavior.hasLineNumbers(); }