changeset 00db1ac36a28 in joypy/Joypy details: http://hg.osdn.jp/view/joypy/Joypy?cmd=changeset;node=00db1ac36a28 user: Simon Forman <sform****@hushm*****> date: Wed Nov 28 13:00:03 2018 -0800 description: Remove some trailing blankspace. changeset 79d98f005ded in joypy/Joypy details: http://hg.osdn.jp/view/joypy/Joypy?cmd=changeset;node=79d98f005ded user: Simon Forman <sform****@hushm*****> date: Fri Aug 09 09:28:15 2019 -0700 description: Some trailing whitespace or something. diffstat: .hgignore | 1 - MANIFEST | 66 +- docs/VUI-docs/Makefile | 19 + docs/VUI-docs/build/doctrees/core.doctree | Bin docs/VUI-docs/build/doctrees/display.doctree | Bin docs/VUI-docs/build/doctrees/environment.pickle | Bin docs/VUI-docs/build/doctrees/index.doctree | Bin docs/VUI-docs/build/doctrees/main.doctree | Bin docs/VUI-docs/build/doctrees/persist_task.doctree | Bin docs/VUI-docs/build/doctrees/stack_viewer.doctree | Bin docs/VUI-docs/build/doctrees/text_viewer.doctree | Bin docs/VUI-docs/build/doctrees/viewer.doctree | Bin docs/VUI-docs/build/html/.buildinfo | 4 + docs/VUI-docs/build/html/_images/Joy-VUI-screenshot.PNG | Bin docs/VUI-docs/build/html/_images/packages_Vui.png | Bin docs/VUI-docs/build/html/_modules/index.html | 105 + docs/VUI-docs/build/html/_modules/joy/vui/core.html | 380 + docs/VUI-docs/build/html/_modules/joy/vui/display.html | 604 + docs/VUI-docs/build/html/_modules/joy/vui/main.html | 274 + docs/VUI-docs/build/html/_modules/joy/vui/persist_task.html | 372 + docs/VUI-docs/build/html/_modules/joy/vui/stack_viewer.html | 175 + docs/VUI-docs/build/html/_modules/joy/vui/text_viewer.html | 799 + docs/VUI-docs/build/html/_modules/joy/vui/viewer.html | 345 + docs/VUI-docs/build/html/_sources/core.rst.txt | 3 + docs/VUI-docs/build/html/_sources/display.rst.txt | 3 + docs/VUI-docs/build/html/_sources/index.rst.txt | 175 + docs/VUI-docs/build/html/_sources/main.rst.txt | 3 + docs/VUI-docs/build/html/_sources/persist_task.rst.txt | 3 + docs/VUI-docs/build/html/_sources/stack_viewer.rst.txt | 3 + docs/VUI-docs/build/html/_sources/text_viewer.rst.txt | 3 + docs/VUI-docs/build/html/_sources/viewer.rst.txt | 3 + docs/VUI-docs/build/html/_static/Joy-VUI-screenshot.PNG | Bin docs/VUI-docs/build/html/_static/ajax-loader.gif | Bin docs/VUI-docs/build/html/_static/alabaster.css | 693 + docs/VUI-docs/build/html/_static/basic.css | 676 + docs/VUI-docs/build/html/_static/comment-bright.png | Bin docs/VUI-docs/build/html/_static/comment-close.png | Bin docs/VUI-docs/build/html/_static/comment.png | Bin docs/VUI-docs/build/html/_static/custom.css | 1 + docs/VUI-docs/build/html/_static/doctools.js | 315 + docs/VUI-docs/build/html/_static/documentation_options.js | 10 + docs/VUI-docs/build/html/_static/down-pressed.png | Bin docs/VUI-docs/build/html/_static/down.png | Bin docs/VUI-docs/build/html/_static/file.png | Bin docs/VUI-docs/build/html/_static/jquery-3.2.1.js | 10253 ++++++++++ docs/VUI-docs/build/html/_static/jquery.js | 4 + docs/VUI-docs/build/html/_static/language_data.js | 297 + docs/VUI-docs/build/html/_static/minus.png | Bin docs/VUI-docs/build/html/_static/packages_Vui.png | Bin docs/VUI-docs/build/html/_static/plus.png | Bin docs/VUI-docs/build/html/_static/pygments.css | 65 + docs/VUI-docs/build/html/_static/searchtools.js | 481 + docs/VUI-docs/build/html/_static/underscore-1.3.1.js | 999 + docs/VUI-docs/build/html/_static/underscore.js | 31 + docs/VUI-docs/build/html/_static/up-pressed.png | Bin docs/VUI-docs/build/html/_static/up.png | Bin docs/VUI-docs/build/html/_static/websupport.js | 808 + docs/VUI-docs/build/html/core.html | 234 + docs/VUI-docs/build/html/display.html | 286 + docs/VUI-docs/build/html/genindex.html | 463 + docs/VUI-docs/build/html/index.html | 242 + docs/VUI-docs/build/html/main.html | 180 + docs/VUI-docs/build/html/objects.inv | Bin docs/VUI-docs/build/html/persist_task.html | 222 + docs/VUI-docs/build/html/py-modindex.html | 153 + docs/VUI-docs/build/html/search.html | 116 + docs/VUI-docs/build/html/searchindex.js | 1 + docs/VUI-docs/build/html/stack_viewer.html | 114 + docs/VUI-docs/build/html/text_viewer.html | 124 + docs/VUI-docs/build/html/viewer.html | 150 + docs/VUI-docs/make.bat | 35 + docs/VUI-docs/source/_static/Joy-VUI-screenshot.PNG | Bin docs/VUI-docs/source/_static/packages_Vui.png | Bin docs/VUI-docs/source/conf.py | 179 + docs/VUI-docs/source/core.rst | 3 + docs/VUI-docs/source/display.rst | 3 + docs/VUI-docs/source/index.rst | 175 + docs/VUI-docs/source/main.rst | 3 + docs/VUI-docs/source/persist_task.rst | 3 + docs/VUI-docs/source/stack_viewer.rst | 3 + docs/VUI-docs/source/text_viewer.rst | 3 + docs/VUI-docs/source/viewer.rst | 3 + docs/dep-graphs/classes_Thun.png | Bin docs/dep-graphs/classes_Vui.png | Bin docs/dep-graphs/packages_Thun.png | Bin joy/gui/textwidget.py | 3 +- joy/gui/utils.py | 10 +- joy/gui/world.py | 10 +- joy/joy.py | 2 +- joy/library.py | 11 +- joy/vui/Iosevka12.BMP | Bin joy/vui/README.txt | 163 + joy/vui/__main__.py | 24 + joy/vui/core.py | 280 + joy/vui/debug_main.py | 18 + joy/vui/default_joy_home/definitions.txt | 17 + joy/vui/default_joy_home/library.py | 206 + joy/vui/default_joy_home/log.txt | 1 + joy/vui/default_joy_home/menu.txt | 51 + joy/vui/default_joy_home/scratch.txt | 85 + joy/vui/default_joy_home/stack.pickle | 1 + joy/vui/display.py | 504 + joy/vui/font_data.py | 186 + joy/vui/init_joy_home.py | 275 + joy/vui/main.py | 174 + joy/vui/persist_task.py | 272 + joy/vui/stack_viewer.py | 75 + joy/vui/text_viewer.py | 699 + joy/vui/viewer.py | 245 + setup.py | 4 +- thun/TLA.pl | 198 + thun/compiler.pl | 681 + thun/defs.txt | 71 + thun/metalogical.pl | 84 + thun/thun.pl | 274 +- 115 files changed, 25187 insertions(+), 105 deletions(-) diffs (truncated from 25904 to 300 lines): diff -r a1806ceccffb -r 79d98f005ded .hgignore --- a/.hgignore Fri Aug 24 17:05:42 2018 -0700 +++ b/.hgignore Fri Aug 09 09:28:15 2019 -0700 @@ -1,5 +1,4 @@ .*\.pyc$ -build .hypothesis .pytest_cache .vscode diff -r a1806ceccffb -r 79d98f005ded MANIFEST --- a/MANIFEST Fri Aug 24 17:05:42 2018 -0700 +++ b/MANIFEST Fri Aug 09 09:28:15 2019 -0700 @@ -1,25 +1,41 @@ -# file GENERATED by distutils, do NOT edit -COPYING -README -setup.py -archive/Joy-Programming.zip -archive/README -joy/__init__.py -joy/__main__.py -joy/joy.py -joy/library.py -joy/parser.py -joy/gui/__init__.py -joy/gui/__main__.py -joy/gui/main.py -joy/gui/mousebindings.py -joy/gui/textwidget.py -joy/gui/world.py -joy/utils/__init__.py -joy/utils/brutal_hackery.py -joy/utils/generated_library.py -joy/utils/polytypes.py -joy/utils/pretty_print.py -joy/utils/stack.py -joy/utils/types.py -test/test_type_inference.py +# file GENERATED by distutils, do NOT edit +COPYING +README +setup.py +archive\Joy-Programming.zip +archive\README +joy\__init__.py +joy\__main__.py +joy\joy.py +joy\library.py +joy\parser.py +joy\gui\__init__.py +joy\gui\__main__.py +joy\gui\init_joy_home.py +joy\gui\main.py +joy\gui\mousebindings.py +joy\gui\textwidget.py +joy\gui\utils.py +joy\gui\world.py +joy\utils\__init__.py +joy\utils\brutal_hackery.py +joy\utils\compiler.py +joy\utils\generated_library.py +joy\utils\infinite_stack.py +joy\utils\pretty_print.py +joy\utils\stack.py +joy\utils\types.py +joy\vui\__init__.py +joy\vui\__main__.py +joy\vui\core.py +joy\vui\debug_main.py +joy\vui\display.py +joy\vui\font_data.py +joy\vui\init_joy_home.py +joy\vui\main.py +joy\vui\persist_task.py +joy\vui\stack_viewer.py +joy\vui\text_viewer.py +joy\vui\viewer.py +joy\vui\default_joy_home\library.py +test\test_type_inference.py diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/Makefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/docs/VUI-docs/Makefile Fri Aug 09 09:28:15 2019 -0700 @@ -0,0 +1,19 @@ +# Minimal makefile for Sphinx documentation +# + +# You can set these variables from the command line. +SPHINXOPTS = +SPHINXBUILD = sphinx-build +SOURCEDIR = source +BUILDDIR = build + +# Put it first so that "make" without argument is like "make help". +help: + @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) + +.PHONY: help Makefile + +# Catch-all target: route all unknown targets to Sphinx using the new +# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). +%: Makefile + @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) \ No newline at end of file diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/doctrees/core.doctree Binary file docs/VUI-docs/build/doctrees/core.doctree has changed diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/doctrees/display.doctree Binary file docs/VUI-docs/build/doctrees/display.doctree has changed diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/doctrees/environment.pickle Binary file docs/VUI-docs/build/doctrees/environment.pickle has changed diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/doctrees/index.doctree Binary file docs/VUI-docs/build/doctrees/index.doctree has changed diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/doctrees/main.doctree Binary file docs/VUI-docs/build/doctrees/main.doctree has changed diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/doctrees/persist_task.doctree Binary file docs/VUI-docs/build/doctrees/persist_task.doctree has changed diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/doctrees/stack_viewer.doctree Binary file docs/VUI-docs/build/doctrees/stack_viewer.doctree has changed diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/doctrees/text_viewer.doctree Binary file docs/VUI-docs/build/doctrees/text_viewer.doctree has changed diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/doctrees/viewer.doctree Binary file docs/VUI-docs/build/doctrees/viewer.doctree has changed diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/html/.buildinfo --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/docs/VUI-docs/build/html/.buildinfo Fri Aug 09 09:28:15 2019 -0700 @@ -0,0 +1,4 @@ +# Sphinx build info version 1 +# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done. +config: 045f1325f6d2a1aed4dff11fe7e98c72 +tags: 645f666f9bcd5a90fca523b33c5a78b7 diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/html/_images/Joy-VUI-screenshot.PNG Binary file docs/VUI-docs/build/html/_images/Joy-VUI-screenshot.PNG has changed diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/html/_images/packages_Vui.png Binary file docs/VUI-docs/build/html/_images/packages_Vui.png has changed diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/html/_modules/index.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/docs/VUI-docs/build/html/_modules/index.html Fri Aug 09 09:28:15 2019 -0700 @@ -0,0 +1,105 @@ + +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> + +<html xmlns="http://www.w3.org/1999/xhtml"> + <head> + <meta http-equiv="X-UA-Compatible" content="IE=Edge" /> + <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> + <title>Overview: module code — Joy VUI 0.1 documentation</title> + <link rel="stylesheet" href="../_static/alabaster.css" type="text/css" /> + <link rel="stylesheet" href="../_static/pygments.css" type="text/css" /> + <script type="text/javascript" id="documentation_options" data-url_root="../" src="../_static/documentation_options.js"></script> + <script type="text/javascript" src="../_static/jquery.js"></script> + <script type="text/javascript" src="../_static/underscore.js"></script> + <script type="text/javascript" src="../_static/doctools.js"></script> + <script type="text/javascript" src="../_static/language_data.js"></script> + <link rel="index" title="Index" href="../genindex.html" /> + <link rel="search" title="Search" href="../search.html" /> + + <link rel="stylesheet" href="../_static/custom.css" type="text/css" /> + + + <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" /> + + </head><body> + + + <div class="document"> + <div class="documentwrapper"> + <div class="bodywrapper"> + <div class="body" role="main"> + + <h1>All modules for which code is available</h1> +<ul><li><a href="joy/vui/core.html">joy.vui.core</a></li> +<li><a href="joy/vui/display.html">joy.vui.display</a></li> +<li><a href="joy/vui/main.html">joy.vui.main</a></li> +<li><a href="joy/vui/persist_task.html">joy.vui.persist_task</a></li> +<li><a href="joy/vui/stack_viewer.html">joy.vui.stack_viewer</a></li> +<li><a href="joy/vui/text_viewer.html">joy.vui.text_viewer</a></li> +<li><a href="joy/vui/viewer.html">joy.vui.viewer</a></li> +</ul> + + </div> + </div> + </div> + <div class="sphinxsidebar" role="navigation" aria-label="main navigation"> + <div class="sphinxsidebarwrapper"> +<h1 class="logo"><a href="../index.html">Joy VUI</a></h1> + + + + + + + + +<h3>Navigation</h3> +<p class="caption"><span class="caption-text">Contents:</span></p> +<ul> +<li class="toctree-l1"><a class="reference internal" href="../core.html">Core</a></li> +<li class="toctree-l1"><a class="reference internal" href="../main.html">Main Module</a></li> +<li class="toctree-l1"><a class="reference internal" href="../display.html">Display</a></li> +<li class="toctree-l1"><a class="reference internal" href="../viewer.html">Viewer</a></li> +<li class="toctree-l1"><a class="reference internal" href="../text_viewer.html">Text Viewer</a></li> +<li class="toctree-l1"><a class="reference internal" href="../stack_viewer.html">Stack Viewer</a></li> +<li class="toctree-l1"><a class="reference internal" href="../persist_task.html">Persist Task</a></li> +</ul> + +<div class="relations"> +<h3>Related Topics</h3> +<ul> + <li><a href="../index.html">Documentation overview</a><ul> + </ul></li> +</ul> +</div> +<div id="searchbox" style="display: none" role="search"> + <h3>Quick search</h3> + <div class="searchformwrapper"> + <form class="search" action="../search.html" method="get"> + <input type="text" name="q" /> + <input type="submit" value="Go" /> + <input type="hidden" name="check_keywords" value="yes" /> + <input type="hidden" name="area" value="default" /> + </form> + </div> +</div> +<script type="text/javascript">$('#searchbox').show(0);</script> + </div> + </div> + <div class="clearer"></div> + </div> + <div class="footer"> + ©2019, Simon Forman. + + | + Powered by <a href="http://sphinx-doc.org/">Sphinx 1.8.5</a> + & <a href="https://github.com/bitprophet/alabaster">Alabaster 0.7.9</a> + + </div> + + + + + </body> +</html> \ No newline at end of file diff -r a1806ceccffb -r 79d98f005ded docs/VUI-docs/build/html/_modules/joy/vui/core.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/docs/VUI-docs/build/html/_modules/joy/vui/core.html Fri Aug 09 09:28:15 2019 -0700 @@ -0,0 +1,380 @@ + +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> + +<html xmlns="http://www.w3.org/1999/xhtml"> + <head> + <meta http-equiv="X-UA-Compatible" content="IE=Edge" /> + <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> + <title>joy.vui.core — Joy VUI 0.1 documentation</title> + <link rel="stylesheet" href="../../../_static/alabaster.css" type="text/css" /> + <link rel="stylesheet" href="../../../_static/pygments.css" type="text/css" /> + <script type="text/javascript" id="documentation_options" data-url_root="../../../" src="../../../_static/documentation_options.js"></script> + <script type="text/javascript" src="../../../_static/jquery.js"></script> + <script type="text/javascript" src="../../../_static/underscore.js"></script> + <script type="text/javascript" src="../../../_static/doctools.js"></script> + <script type="text/javascript" src="../../../_static/language_data.js"></script> + <link rel="index" title="Index" href="../../../genindex.html" /> + <link rel="search" title="Search" href="../../../search.html" /> + + <link rel="stylesheet" href="../../../_static/custom.css" type="text/css" /> + + + <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" /> + + </head><body> + + + <div class="document"> + <div class="documentwrapper"> + <div class="bodywrapper"> + <div class="body" role="main"> + + <h1>Source code for joy.vui.core</h1><div class="highlight"><pre> +<span></span><span class="c1"># -*- coding: utf-8 -*-</span> +<span class="c1">#</span> +<span class="c1"># Copyright © 2019 Simon Forman</span> +<span class="c1">#</span> +<span class="c1"># This file is part of Thun</span> +<span class="c1">#</span> +<span class="c1"># Thun is free software: you can redistribute it and/or modify</span> +<span class="c1"># it under the terms of the GNU General Public License as published by</span> +<span class="c1"># the Free Software Foundation, either version 3 of the License, or</span> +<span class="c1"># (at your option) any later version.</span> +<span class="c1">#</span> +<span class="c1"># Thun is distributed in the hope that it will be useful,</span> +<span class="c1"># but WITHOUT ANY WARRANTY; without even the implied warranty of</span> +<span class="c1"># MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span> +<span class="c1"># GNU General Public License for more details.</span> +<span class="c1">#</span> +<span class="c1"># You should have received a copy of the GNU General Public License</span> +<span class="c1"># along with Thun. If not see <http://www.gnu.org/licenses/>.</span> +<span class="c1">#</span> +<span class="sd">'''</span>