use underscore for overline to reduce the gap (#59)

* use underscore for overline to reduce the gap * gen lua --------- Co-authored-by: jbyuki <[email protected]>
jbyuki · Apr 7, 2023 · 87ef6bc · 87ef6bc
1 parent 6a628c8
commit 87ef6bc
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 8 deletions.
diff --git a/lua/nabla/ascii.lua b/lua/nabla/ascii.lua
@@ -21,7 +21,9 @@ local put_if_only_sup
 
 
 local style = {
-	div_bar = "―",
+	div_high_bar = "‾",
+	div_middle_bar = "―",
+	div_low_bar = "_",
 
 	left_top_par    = '⎛',
 	left_middle_par = '⎜',
@@ -1562,7 +1564,7 @@ function to_ascii(explist, exp_i)
     		local bar = ""
     		local w = math.max(leftgrid.w, rightgrid.w)
     		for x=1,w do
-    			bar = bar .. style.div_bar
+    			bar = bar .. style.div_middle_bar
     		end
 
 
@@ -1761,7 +1763,7 @@ function to_ascii(explist, exp_i)
     	  local bar = ""
     	  local w = belowgrid.w
     	  for x=1,w do
-    	  	bar = bar .. style.div_bar
+    	  	bar = bar .. style.div_low_bar
     	  end
     	  local overline = grid:new(w, 1, { bar })
     	  g = overline:join_vert(belowgrid)
@@ -1773,7 +1775,7 @@ function to_ascii(explist, exp_i)
     	  local txt = ""
     	  local w = belowgrid.w
     	  for x=1,w-1 do
-    	  	txt = txt .. style.div_bar
+    	  	txt = txt .. style.div_middle_bar
     	  end
     	  txt = txt .. style.vec_arrow
 

diff --git a/src/core/ascii.lua.t b/src/core/ascii.lua.t
@@ -203,13 +203,15 @@ for y=1,h do
 end
 
 @style_variables+=
-div_bar = "―",
+div_high_bar = "‾",
+div_middle_bar = "―",
+div_low_bar = "_",
 
 @generate_appropriate_size_fraction_bar+=
 local bar = ""
 local w = math.max(leftgrid.w, rightgrid.w)
 for x=1,w do
-	bar = bar .. style.div_bar
+	bar = bar .. style.div_middle_bar
 end
 
 @grid_data+=

diff --git a/src/core/overline.lua.t b/src/core/overline.lua.t
@@ -12,6 +12,6 @@ elseif name == "overline" then
 local bar = ""
 local w = belowgrid.w
 for x=1,w do
-	bar = bar .. style.div_bar
+	bar = bar .. style.div_low_bar
 end
 local overline = grid:new(w, 1, { bar })
diff --git a/src/core/vec.lua.t b/src/core/vec.lua.t
@@ -14,7 +14,7 @@ vec_arrow = "→",
 local txt = ""
 local w = belowgrid.w
 for x=1,w-1 do
-	txt = txt .. style.div_bar
+	txt = txt .. style.div_middle_bar
 end
 txt = txt .. style.vec_arrow