polytexnic 1.10.0 → 1.10.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 97df7a0f9860c92ab7a0f07d95c8aa4b1fd6a0416f0c64cdf1179d02884b21b9
-  data.tar.gz: 2d8f24f8eb0d2be40e1fd37fa81599df119684560e807ad8de6b151fedb36eb0
+  metadata.gz: f125f1b4e0dc232a35eb7caa4941fc147d927ed3fa4aa18f691c902da1510545
+  data.tar.gz: 0ed473416a4b88a4491af1cbc02d5db68c904998185bc70e92a2821b4ae0e730
 SHA512:
-  metadata.gz: b33bea198951ee6f66a4f9e90127e440f406b8cc7f54a5b07ca07142a365f1cdb971a15f6be415c8230dc7959e8a5a3eb4fa260efe88906db1c983581fb97181
-  data.tar.gz: 7e29667969dcd57f6dfb4bde2ce175d2c0510402658a3238efbccf46fae6bf486c230bab3290926dbfd3d5cefa8e473568d5e022c2c459bdc86472e73e29a31c
+  metadata.gz: 1b70edd6d6fee965e904872c1df671f1651773da7160f757aaf3cd428408e396f5d59abf6afa36b3467f4a67cbe6268d596e909865f90889f9719a72b9bad27f
+  data.tar.gz: 688a229066793aca1558d87d9f6de14780d927fca133bc8cb645df0ad7e0d20a64968bcbf195ccc44583d8b2b90d5edfd793e7226713a86d7892ab3782817af9

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    polytexnic (1.10.0)
+    polytexnic (1.10.2)
       json (= 2.3.1)
       kramdown (= 2.4.0)
       msgpack (= 1.2.10)

data/lib/polytexnic/postprocessors/html.rb

@@ -773,11 +773,6 @@ module Polytexnic
         def build_heading(node, css_class)
           node.name  = 'div'
           node['class'] = element_class(css_class)
-          # Extract theorem content (if any). This super-hacky.
-          # th_regex = /data-tralics-id=".*?"><strong>.*?<\/strong>(.*?)<\/div>/m
-          # theorem_content = node.to_xhtml.scan(th_regex).flatten.first
-          # theorem_content.gsub!("\n\n", '') if theorem_content
-          # raise theorem_content
           heading = node.at_css('p')
           heading.attributes.each do |key, value|
             node.set_attribute(key, value)
@@ -826,11 +821,6 @@ module Polytexnic
               full_number << theorem_description
             end
             full_number << Nokogiri::XML::Text.new('.', heading)
-            # # We remove all paragraphs and append the previously extracted
-            # # theorem content. The desired numbered heading is just the
-            # # first line, so we split on newline and take the first element.
-            # number_html = full_number.to_xhtml.split("\n").first
-            # full_number.inner_html = number_html + theorem_content
           elsif css_class == 'codelisting'
             description = node.at_css('.description').content
             unless description.empty?
@@ -839,7 +829,6 @@ module Polytexnic
           else
             full_number << Nokogiri::XML::Text.new('.', heading)
           end
-          # raise heading.to_xhtml
           heading
         end
 
@@ -902,6 +891,18 @@ module Polytexnic
           doc.xpath('//proof').each do |node|
             node.name = 'div'
             node['class'] = 'proof'
+            proofoption = node.css('proofoption')
+            if proofoption.empty?
+              proof_label = 'Proof.'
+            else
+              proof_label = proofoption.first.content.strip
+            end
+            proofoption.remove
+            node.remove_attribute('proofoption')
+            first_paragraph = node.children.first
+            html = first_paragraph.inner_html
+            html = %(<em class="proof_label">#{proof_label}</em> ) + html
+            first_paragraph.inner_html = html
           end
         end
 

data/lib/polytexnic/preprocessors/html.rb

@@ -318,14 +318,22 @@ module Polytexnic
           end
 
           # Wrap proofs in a 'proof' element.
+          # Start with proofs that have options.
+          string.gsub! /(\\begin{proof})\[(.*?)\]/ do
+            "\\begin{xmlelement*}{proof}" +
+            "\\begin{xmlelement*}{proofoption}#{$2}" +
+            "\\end{xmlelement*}"
+          end
+          # string.gsub!(/\\begin{proof}\[.*?\]/, '')
+          # Now do optionless proofs.
           string.gsub! /\\begin{proof}/ do |s|
-            "\\begin{xmlelement*}{proof}\n#{s}"
+            "\\begin{xmlelement*}{proof}"
           end
           string.gsub! /\\end{proof}/ do |s|
             "#{s}\n\\end{xmlelement*}"
           end
-          string.gsub!(/\\begin{proof}/, '')
-          string.gsub!(/\\end{proof}/, '')
+          # string.gsub!(/\\begin{proof}/, '')
+          # string.gsub!(/\\end{proof}/, '')
 
           # Wrap asides in an 'aside' element.
           string.gsub! /\\begin{aside}/ do |s|

data/lib/polytexnic/version.rb

@@ -1,3 +1,3 @@
 module Polytexnic
-  VERSION = "1.10.0"
+  VERSION = "1.10.2"
 end

data/spec/to_html/proof_theorem_spec.rb

@@ -16,7 +16,19 @@ describe 'Polytexnic::Pipeline#to_html' do
       EOS
     end
     it { should include("Lorem ipsum.") }
-    it { should include('<div class="proof">')}
+    it { should include('<div class="proof"><p><em class="proof_label">Proof.</em> Lorem')}
+
+    context "with optional argument" do
+      let(:polytex) do <<-'EOS'
+        \chapter{Foo bar}
+
+        \begin{proof}[Simpler proof.]
+        Dolor sit amet.
+        \end{proof}
+        EOS
+      end
+      it { should include('<div class="proof"><p><em class="proof_label">Simpler proof.</em> Dolor') }
+    end
   end
 
   describe "chapter theorems" do

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: polytexnic
 version: !ruby/object:Gem::Version
-  version: 1.10.0
+  version: 1.10.2
 platform: ruby
 authors:
 - Michael Hartl
@@ -9,7 +9,7 @@ authors:
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2023-09-06 00:00:00.000000000 Z
+date: 2023-09-15 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: nokogiri
@@ -207,6 +207,7 @@ files:
 - ".pull_requests/1389652617"
 - ".pull_requests/1395697424"
 - ".pull_requests/1403381407"
+- ".quiet"
 - ".rspec"
 - Gemfile
 - Gemfile.lock