From 1e6ac9c9bb11d126e5046fd71b9e569e5adb593b Mon Sep 17 00:00:00 2001
From: Greg Ercolano <erco@seriss.com>
Date: Mon, 18 Dec 2023 11:32:34 -0800
Subject: [PATCH] Fix issue #871 for html causing crashes

---
 src/Fl_Help_View.cxx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Fl_Help_View.cxx b/src/Fl_Help_View.cxx
index 0f1186c41..f83c8a126 100644
--- a/src/Fl_Help_View.cxx
+++ b/src/Fl_Help_View.cxx
@@ -1518,7 +1518,7 @@ void Fl_Help_View::format() {
 
           if (buf.cmp("LI")) {
             block->ol = 0;
-            if (OL_num.back()>=0) {
+            if (OL_num.size() && OL_num.back()>=0) {
               block->ol = 1;
               block->ol_num = (int)OL_num.back();
               int nnum = OL_num.pop_back() + 1;
@@ -1554,7 +1554,7 @@ void Fl_Help_View::format() {
 
           if (buf.cmp("/OL") ||
               buf.cmp("/UL")) {
-            OL_num.pop_back();
+            if (OL_num.size()) OL_num.pop_back();
           }
 
           if (buf.cmp("/UL") ||