Markdown line breaks #232

Author: glebbelov

include/mp/flat/constr_keeper.h

@@ -551,6 +551,9 @@ BasicConstraintKeeper::GetShortTypeName() const {
       colon_pos = 0;
     type_name_short_ = acc_opt.substr(
           colon_pos, word_end-colon_pos);
+    for (auto& c: type_name_short_)
+      if (':'==c)
+        c = '_';                // Markdown
     assert(type_name_short_.size());
   }
   return type_name_short_.c_str();

support/modelexplore/modelexplore.py

@@ -1,7 +1,6 @@
 
 import streamlit as st
 
-from scripts.python.explorer import ModelExplorer
 from scripts.python.modelreader import ReadExplorerModel
 from scripts.python.matcher import MatchSubmodel
 
@@ -18,8 +17,6 @@
 fwd = right_column.checkbox('Add descendants', disabled=True)
 bwd = right_column.checkbox('Add ancestors', disabled=True)
 
-explorer = ModelExplorer()
-
 # Cache the reading function
 @st.cache_data
 def ReadModel(uploader):

support/modelexplore/scripts/python/model.py

@@ -111,5 +111,5 @@ def _matchRecords(self, cnt, keyw, keyNeed1=None):
       if (""==keyw or keyw in pr) \
       and (keyNeed1==None \
         or (keyNeed1 in i and 1==i[keyNeed1])):
-        result = result + "\n\n" + pr        ## Markdown
+        result = result + "  \n" + pr        ## Markdown: 2x spaces + EOL
     return result