-- This file:
--   http://anggtwu.net/LUA/Pygments1.lua.html
--   http://anggtwu.net/LUA/Pygments1.lua
--          (find-angg "LUA/Pygments1.lua")
-- Author: Eduardo Ochs <eduardoochs@gmail.com>
--
-- (defun e () (interactive) (find-angg "LUA/Pygments1.lua"))
-- Used by: (find-LATEX "2025bad-foundations.tex" "defs-pygvbt")


require "Dednat7"            -- (find-LATEX "Dednat7.lua")
require "Verbatim3"          -- (find-LATEX "Verbatim3.lua")

-- (find-LATEX "Verbatim3.lua" "Verbatim")
-- (find-LATEX "Verbatim3.lua" "Verbatim" "_e  =")
-- (find-LATEX "Verbatim3.lua" "Verbatim" "defvbt  =")
pyg_expandspaces = function (str)
    local f = function (s) return (s:gsub(" ", "\\ ")) end
    return (str:gsub("({  +})", f))
  end
Verbatim.__index._pyg = function (vb)
    vb.o = map(pyg_expandspaces, vb.o)
  end
Verbatim.__index.defpygvbt = function (vb, name)
    return vb:act("pyg h c p v bg"):defvbt0(name)
  end

-- (find-LATEX "Verbatim3.lua" "dednat6" "defvbt =")
defpygvbt = function (name)
    Verbatim.from(vbt_lines):defpygvbt(name):act("o")
  end


--[[
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
dofile "Pygments1.lua"
= pyg_expandspaces("foo{ }bar{  }plic")

tf = TeXFile.read("~/LATEX/2025bad-foundations-lean.tex")
tf:processuntil(#tf)
= tf
= VTable(vbt_lines)
vb = Verbatim.from(vbt_lines)
= vb
= vb:defpygvbt("T1 T2 T3 T4")


--]]