Skip to content

Commit

Permalink
Updating view save states
Browse files Browse the repository at this point in the history
  • Loading branch information
@kenmonks
kenmonks committed Aug 5, 2024
1 parent 86115d7 commit 47ad6a4
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 8 deletions.
4 changes: 2 additions & 2 deletions help/quick-start-guide.lurch
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,11 +4,11 @@
<script language="javascript">
const link = document.querySelector( '#loadlink > p > a' )
const thisURL = encodeURIComponent( window.location.href )
link?.setAttribute( 'href', 'https://kenmonks.github.io/299-site/student.html?load=' + thisURL )
link?.setAttribute( 'href', 'http://localhost:2999/student.html?load=' + thisURL )
</script>
</div>

<div id="metadata" style="display: none;"><div data-category="settings" data-key="shell style" data-value-type="json">"boxed"</div><div data-category="main" data-key="header" data-value-type="html">(Peek-a-boo!&nbsp; I was hiding in the header.)<div class="lurch-atom" contenteditable="false" data-metadata_type="&quot;dependency&quot;" data-metadata_description="&quot;none&quot;" data-metadata_filename="&quot;help/context.lurch&quot;" data-metadata_source="&quot;the web&quot;" data-metadata_auto-refresh="true" style="border: 1px solid gray; padding: 0px 1em;"><div class="lurch-atom-metadata" style="display: none;"><div data-key="content">
<div id="metadata" style="display: none;"><div data-category="settings" data-key="shell style" data-value-type="json">"minimal"</div><div data-category="main" data-key="header" data-value-type="html">(Peek-a-boo!&nbsp; I was hiding in the header.)<div class="lurch-atom" contenteditable="false" data-metadata_type="&quot;dependency&quot;" data-metadata_description="&quot;none&quot;" data-metadata_filename="&quot;help/context.lurch&quot;" data-metadata_source="&quot;the web&quot;" data-metadata_auto-refresh="true" style="border: 1px solid gray; padding: 0px 1em;"><div class="lurch-atom-metadata" style="display: none;"><div data-key="content">
<div id="loadlink">
<p><a>Open this file in the Lurch web app</a></p>

Expand Down
4 changes: 2 additions & 2 deletions math/examples/C. Putnam Practice.lurch
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,11 +4,11 @@
<script language="javascript">
const link = document.querySelector( '#loadlink > p > a' )
const thisURL = encodeURIComponent( window.location.href )
link?.setAttribute( 'href', 'http://localhost:2999/instructor.html?load=' + thisURL )
link?.setAttribute( 'href', 'http://localhost:2999/student.html?load=' + thisURL )
</script>
</div>

<div id="metadata" style="display: none;"><div data-category="settings" data-key="shell style" data-value-type="json">"boxed"</div><div data-category="main" data-key="header" data-value-type="html"><div class="lurch-atom" contenteditable="false" data-metadata_type="&quot;dependency&quot;" data-metadata_description="&quot;none&quot;" data-metadata_filename="&quot;math/Equations-Logic-Rules.lurch&quot;" data-metadata_source="&quot;the web&quot;" data-metadata_auto-refresh="true" style="border: 1px solid gray; padding: 0px 1em;"><div class="lurch-atom-metadata" style="display: none;"><div data-key="content">
<div id="metadata" style="display: none;"><div data-category="settings" data-key="shell style" data-value-type="json">"minimal"</div><div data-category="main" data-key="header" data-value-type="html"><div class="lurch-atom" contenteditable="false" data-metadata_type="&quot;dependency&quot;" data-metadata_description="&quot;none&quot;" data-metadata_filename="&quot;math/Equations-Logic-Rules.lurch&quot;" data-metadata_source="&quot;the web&quot;" data-metadata_auto-refresh="true" style="border: 1px solid gray; padding: 0px 1em;"><div class="lurch-atom-metadata" style="display: none;"><div data-key="content">
<div id="loadlink">
<p><a>Open this file in the Lurch web app</a></p>

Expand Down
4 changes: 2 additions & 2 deletions math/examples/D. Topo-logical.lurch
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<script language="javascript">
const link = document.querySelector( '#loadlink > p > a' )
const thisURL = encodeURIComponent( window.location.href )
link?.setAttribute( 'href', 'https://kenmonks.github.io/299-site/student.html?load=' + thisURL )
link?.setAttribute( 'href', 'http://localhost:2999/student.html?load=' + thisURL )
</script>
</div>

Expand Down Expand Up @@ -1110,7 +1110,7 @@
</div>
</div>
<div>&nbsp;</div></div>
</div></div><div class="lurch-atom-body"><table><colgroup><col><col></colgroup><tbody><tr><td colspan="2"><b>Imported dependency document</b></td></tr><tr><td>Description:</td><td><tt>none</tt></td></tr><tr><td>Source:</td><td><tt>math/Functions-Rules.lurch</tt> (web)</td></tr><tr><td>Auto-refresh:</td><td>yes</td></tr></tbody></table></div></div></div><div data-category="settings" data-key="shell style" data-value-type="json">"boxed"</div></div>
</div></div><div class="lurch-atom-body"><table><colgroup><col><col></colgroup><tbody><tr><td colspan="2"><b>Imported dependency document</b></td></tr><tr><td>Description:</td><td><tt>none</tt></td></tr><tr><td>Source:</td><td><tt>math/Functions-Rules.lurch</tt> (web)</td></tr><tr><td>Auto-refresh:</td><td>yes</td></tr></tbody></table></div></div></div><div data-category="settings" data-key="shell style" data-value-type="json">"minimal"</div></div>
<div id="document"><h1>Topo-logical</h1>
<p>Topology is a branch of mathematics that studies properties of continuous functions and geometric properties that they preserve.&nbsp; &nbsp;We begin by defining a topological space.</p>
<p><strong>Definition: </strong>The pair <span class="lurch-atom" contenteditable="false" data-metadata_type="&quot;expositorymath&quot;" data-metadata_latex="&quot;\\langle X,\\tau\\rangle&quot;"><span class="lurch-atom-body"><span class="ML__latex"><span class="ML__base"><span class="ML__cmr">⟨</span><span class="ML__mathit" style="margin-right: 0.08em;">X</span><span class="ML__cmr">,</span><span class="lcGreek ML__mathit" style="margin-right: 0.12em;">&tau;</span><span class="ML__cmr">⟩</span></span></span></span></span> is a <em>topological space </em>if and only if it has the following properties.</p>
Expand Down
4 changes: 2 additions & 2 deletions math/examples/Topo-logical - soln.lurch
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
<script language="javascript">
const link = document.querySelector( '#loadlink > p > a' )
const thisURL = encodeURIComponent( window.location.href )
link?.setAttribute( 'href', 'http://localhost:2999/instructor.html?load=' + thisURL )
link?.setAttribute( 'href', 'http://localhost:2999/student.html?load=' + thisURL )
</script>
</div>

Expand Down Expand Up @@ -1110,7 +1110,7 @@
</div>
</div>
<div>&nbsp;</div></div>
</div></div><div class="lurch-atom-body"><table><colgroup><col><col></colgroup><tbody><tr><td colspan="2"><b>Imported dependency document</b></td></tr><tr><td>Description:</td><td><tt>none</tt></td></tr><tr><td>Source:</td><td><tt>math/Functions-Rules.lurch</tt> (web)</td></tr><tr><td>Auto-refresh:</td><td>yes</td></tr></tbody></table></div></div></div><div data-category="settings" data-key="shell style" data-value-type="json">"boxed"</div></div>
</div></div><div class="lurch-atom-body"><table><colgroup><col><col></colgroup><tbody><tr><td colspan="2"><b>Imported dependency document</b></td></tr><tr><td>Description:</td><td><tt>none</tt></td></tr><tr><td>Source:</td><td><tt>math/Functions-Rules.lurch</tt> (web)</td></tr><tr><td>Auto-refresh:</td><td>yes</td></tr></tbody></table></div></div></div><div data-category="settings" data-key="shell style" data-value-type="json">"minimal"</div></div>
<div id="document"><h1>Topo-logical</h1>
<p>Topology is a branch of mathematics that studies properties of continuous functions and geometric properties that they preserve.&nbsp; &nbsp;We begin by defining a topological space.</p>
<p><strong>Definition: </strong>The pair <span class="lurch-atom" contenteditable="false" data-metadata_type="&quot;expositorymath&quot;" data-metadata_latex="&quot;\\langle X,\\tau\\rangle&quot;"><span class="lurch-atom-body"><span class="ML__latex"><span class="ML__base"><span class="ML__cmr">⟨</span><span class="ML__mathit" style="margin-right: 0.08em;">X</span><span class="ML__cmr">,</span><span class="lcGreek ML__mathit" style="margin-right: 0.12em;">&tau;</span><span class="ML__cmr">⟩</span></span></span></span></span> is a <em>topological space </em>if and only if it has the following properties.</p>
Expand Down

0 comments on commit 47ad6a4

Please sign in to comment.