From 02066cb7cc452e2ece60c336c478802fa59da5c5 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 8 Apr 2015 09:40:44 -0400
Subject: [PATCH] Handle explicit line breaks (this were being skipped if
 linebreak wasn't set to automatic).

---
 unpacked/jax/output/CommonHTML/jax.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
index 4a2c2d2dd..f03958425 100644
--- a/unpacked/jax/output/CommonHTML/jax.js
+++ b/unpacked/jax/output/CommonHTML/jax.js
@@ -2445,8 +2445,8 @@
         return node;
       },
       CHTMLlineBreaks: function () {
-        if (!LINEBREAKS.automatic || !this.parent.linebreakContainer) return false;
-        return (this.CHTML.w > CHTML.linebreakWidth) || this.hasNewline();
+        if (!this.parent.linebreakContainer) return false;
+        return (LINEBREAKS.automatic && this.CHTML.w > CHTML.linebreakWidth) || this.hasNewline();
       },
       CHTMLstretchV: function (h,d) {
         this.CHTMLstretchChildV(this.CoreIndex(),h,d);