You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 

445 lines
52 KiB

<!DOCTYPE html>
<html class="writer-html5" lang="en" >
<head>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>TermTk.TTkGui.textdocument &mdash; pyTermTk 0.36.0-a
documentation</title>
<link rel="stylesheet" href="../../../_static/pygments.css" type="text/css" />
<link rel="stylesheet" href="../../../_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="../../../_static/theme_overrides.css" type="text/css" />
<link rel="stylesheet" href="../../../_static/ttk.css" type="text/css" />
<link rel="shortcut icon" href="https://ceccopierangiolieugenio.github.io/pyTermTk/sandbox/www/favicon.ico"/>
<!--[if lt IE 9]>
<script src="../../../_static/js/html5shiv.min.js"></script>
<![endif]-->
<script data-url_root="../../../" id="documentation_options" src="../../../_static/documentation_options.js"></script>
<script src="../../../_static/jquery.js"></script>
<script src="../../../_static/underscore.js"></script>
<script src="../../../_static/_sphinx_javascript_frameworks_compat.js"></script>
<script src="../../../_static/doctools.js"></script>
<script src="../../../_static/js/theme.js"></script>
<link rel="index" title="Index" href="../../../genindex.html" />
<link rel="search" title="Search" href="../../../search.html" />
</head>
<body class="wy-body-for-nav">
<div class="wy-grid-for-nav">
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
<div class="wy-side-scroll">
<div class="wy-side-nav-search" >
<a href="../../../index.html" class="icon icon-home"> pyTermTk
</a>
<div role="search">
<form id="rtd-search-form" class="wy-form" action="../../../search.html" method="get">
<input type="text" name="q" placeholder="Search docs" />
<input type="hidden" name="check_keywords" value="yes" />
<input type="hidden" name="area" value="default" />
</form>
</div>
</div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
<p class="caption" role="heading"><span class="caption-text">Tutorials</span></p>
<ul>
<li class="toctree-l1"><a class="reference internal" href="../../../tutorial/000-examples.html">pyTermTk - &lt; <strong>the Examples</strong> &gt;</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../tutorial/001-helloworld.html">pyTermTk - Hello World</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../tutorial/002-layout.html">pyTermTk - Layouts</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../tutorial/003-signalslots.html">pyTermTk - Signal &amp; Slots</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../tutorial/004-logging.html">pyTermTk - Logging</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../tutorial/005-calculator.html">pyTermTk - Your first Calculator</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../tutorial/ttkDesigner/textEdit/README.html">ttkDesigner - Your first TextEditor</a></li>
</ul>
<p class="caption" role="heading"><span class="caption-text">Stuff</span></p>
<ul>
<li class="toctree-l1"><a class="reference internal" href="../../../info/features/index.html">Features</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../info/features/crosscompatible.html">Cross Compatibility</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../info/installing.html">Installation</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../info/installing.html#quickstart">Quickstart</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../info/debug.html">Debug</a></li>
</ul>
<p class="caption" role="heading"><span class="caption-text">API Reference</span></p>
<ul>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkAbstract.html">TermTk.TTkAbstract</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkCore.html">TermTk.TTkCore</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkCore.TTkTerm.html">TermTk.TTkCore.TTkTerm</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkGui.html">TermTk.TTkGui</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkLayouts.html">TermTk.TTkLayouts</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkTemplates.html">TermTk.TTkTemplates</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkTestWidgets.html">TermTk.TTkTestWidgets</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkTheme.html">TermTk.TTkTheme</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkTypes.html">TermTk.TTkTypes</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkUiTools.html">TermTk.TTkUiTools</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkWidgets.html">TermTk.TTkWidgets</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkWidgets.TTkModelView.html">TermTk.TTkWidgets.TTkModelView</a></li>
<li class="toctree-l1"><a class="reference internal" href="../../../autogen.TermTk/TermTk.TTkWidgets.TTkPickers.html">TermTk.TTkWidgets.TTkPickers</a></li>
</ul>
</div>
</div>
</nav>
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
<a href="../../../index.html">pyTermTk</a>
</nav>
<div class="wy-nav-content">
<div class="rst-content">
<div role="navigation" aria-label="Page navigation">
<ul class="wy-breadcrumbs">
<li><a href="../../../index.html" class="icon icon-home"></a> &raquo;</li>
<li><a href="../../index.html">Module code</a> &raquo;</li>
<li>TermTk.TTkGui.textdocument</li>
<li class="wy-breadcrumbs-aside">
</li>
</ul>
<hr/>
</div>
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
<div itemprop="articleBody">
<h1>Source code for TermTk.TTkGui.textdocument</h1><div class="highlight"><pre>
<span></span><span class="c1"># MIT License</span>
<span class="c1">#</span>
<span class="c1"># Copyright (c) 2022 Eugenio Parodi &lt;ceccopierangiolieugenio AT googlemail DOT com&gt;</span>
<span class="c1">#</span>
<span class="c1"># Permission is hereby granted, free of charge, to any person obtaining a copy</span>
<span class="c1"># of this software and associated documentation files (the &quot;Software&quot;), to deal</span>
<span class="c1"># in the Software without restriction, including without limitation the rights</span>
<span class="c1"># to use, copy, modify, merge, publish, distribute, sublicense, and/or sell</span>
<span class="c1"># copies of the Software, and to permit persons to whom the Software is</span>
<span class="c1"># furnished to do so, subject to the following conditions:</span>
<span class="c1">#</span>
<span class="c1"># The above copyright notice and this permission notice shall be included in all</span>
<span class="c1"># copies or substantial portions of the Software.</span>
<span class="c1">#</span>
<span class="c1"># THE SOFTWARE IS PROVIDED &quot;AS IS&quot;, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR</span>
<span class="c1"># IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,</span>
<span class="c1"># FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE</span>
<span class="c1"># AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER</span>
<span class="c1"># LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,</span>
<span class="c1"># OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE</span>
<span class="c1"># SOFTWARE.</span>
<span class="n">__all__</span> <span class="o">=</span> <span class="p">[</span><span class="s1">&#39;TTkTextDocument&#39;</span><span class="p">]</span>
<span class="kn">from</span> <span class="nn">TermTk.TTkCore.log</span> <span class="kn">import</span> <span class="n">TTkLog</span>
<span class="kn">from</span> <span class="nn">TermTk.TTkCore.signal</span> <span class="kn">import</span> <span class="n">pyTTkSignal</span><span class="p">,</span> <span class="n">pyTTkSlot</span>
<span class="kn">from</span> <span class="nn">TermTk.TTkCore.string</span> <span class="kn">import</span> <span class="n">TTkString</span>
<div class="viewcode-block" id="TTkTextDocument"><a class="viewcode-back" href="../../../autogen.TermTk/TermTk.TTkGui.textdocument.html#TermTk.TTkGui.textdocument.TTkTextDocument">[docs]</a><span class="k">class</span> <span class="nc">TTkTextDocument</span><span class="p">():</span>
<span class="sd">&#39;&#39;&#39;</span>
<span class="sd"> Undo,Redo Logic</span>
<span class="sd"> Old:</span>
<span class="sd"> _snapshotId: = last saved/undo/redo state</span>
<span class="sd"> 3 = doc4</span>
<span class="sd"> _snapshots:</span>
<span class="sd"> [doc1, doc2, doc3, doc4, doc5, doc6, . . .]</span>
<span class="sd"> New:</span>
<span class="sd"> SnapshotId:</span>
<span class="sd"> 2</span>
<span class="sd"> Snapshots: _lastSnap _dataLines (unstaged)</span>
<span class="sd"> ╒═══╕ ╒═══╕ ╒═══╕ ╒═══╕ ╒═══╕ ╒═══╕</span>
<span class="sd"> │ 0 │ │ 1 │ │ 2 │ │ 3 │ │ 4 │ │ 5 │</span>
<span class="sd"> └───┘ └───┘ └───┘ └───┘ └───┘ └───┘</span>
<span class="sd"> Cursors:</span>
<span class="sd"> c0, c1, c2, c3, c4 = _lastCursor</span>
<span class="sd"> Diffs:</span>
<span class="sd"> [ d01, d12, d23, d34 ] = Forward Diffs</span>
<span class="sd"> [ d10, d21, d32, d43 ] = Backward Diffs</span>
<span class="sd"> Slices: = common txt slices between snapshots</span>
<span class="sd"> [ s01, s12, s23, s34 ]</span>
<span class="sd"> Data Structure</span>
<span class="sd"> ╔═══════════════╗ ╔═══════════════╗</span>
<span class="sd"> ║ Snapshot B ║ ┌─────────────&gt;║ Snapshot C ║</span>
<span class="sd"> ╟───────────────╢ │ ╟───────────────╢</span>
<span class="sd"> ║ _nextDiff ║──────┐ │ ║ _nextDiff ║───&gt; Next snapshot</span>
<span class="sd"> ┌───║ _prevDiff ║ │ │ ┌───║ _prevDiff ║ or Null if at the end</span>
<span class="sd"> │ ╚═══════════════╝ │ │ │ ╚═══════════════╝</span>
<span class="sd"> V A V │ V</span>
<span class="sd"> ╔═══════════════╗ │ ╔═══════════════╗ ╔═══════════════╗</span>
<span class="sd"> ║ Diff B-&gt;A ║ │ ║ Diff B-&gt;C ║ ║ Diff C-&gt;B ║</span>
<span class="sd"> ╟───────────────╢ │ ╟───────────────╢ ╟───────────────╢</span>
<span class="sd"> ║ slice = txtBA ║ │ ║ slice = txtBC ║ ║ slice = txtBA ║</span>
<span class="sd"> ║ snap ║ │ ║ snap ║ ║ snap ║</span>
<span class="sd"> ╚═══════════════╝ │ ╚═══════════════╝ ╚═══════════════╝</span>
<span class="sd"> │ │</span>
<span class="sd"> └─────────────────────────────┘</span>
<span class="sd"> &#39;&#39;&#39;</span>
<span class="k">class</span> <span class="nc">_snapDiff</span><span class="p">():</span>
<span class="sd">&#39;&#39;&#39;</span>
<span class="sd"> Doc:</span>
<span class="sd"> 0 i1 12</span>
<span class="sd"> Base: |---------aaaaaaaa---------|</span>
<span class="sd"> Mod: |---------bbbbb ---------|</span>
<span class="sd"> 0 slice</span>
<span class="sd"> &#39;&#39;&#39;</span>
<span class="vm">__slots__</span> <span class="o">=</span> <span class="p">(</span><span class="s1">&#39;_slice&#39;</span><span class="p">,</span> <span class="s1">&#39;_i1&#39;</span><span class="p">,</span> <span class="s1">&#39;_i2&#39;</span><span class="p">,</span> <span class="s1">&#39;_snap&#39;</span><span class="p">)</span>
<span class="k">def</span> <span class="fm">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">txt</span><span class="p">,</span> <span class="n">i1</span><span class="p">,</span> <span class="n">i2</span><span class="p">,</span> <span class="n">snap</span><span class="p">):</span>
<span class="c1"># The text slice required to change the current snap to the next one</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_slice</span> <span class="o">=</span> <span class="n">txt</span>
<span class="c1"># Starting position of the slice to be removed</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_i1</span> <span class="o">=</span> <span class="n">i1</span>
<span class="c1"># Ending position of the slice to be removed</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_i2</span> <span class="o">=</span> <span class="n">i2</span>
<span class="c1"># This is the link to the next _snapshot structure</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snap</span> <span class="o">=</span> <span class="n">snap</span>
<span class="k">class</span> <span class="nc">_snapshot</span><span class="p">():</span>
<span class="n">_lastId</span> <span class="o">=</span> <span class="mi">0</span>
<span class="vm">__slots__</span> <span class="o">=</span> <span class="p">(</span>
<span class="s1">&#39;_cursor&#39;</span><span class="p">,</span> <span class="s1">&#39;_id&#39;</span><span class="p">,</span>
<span class="s1">&#39;_nextDiff&#39;</span><span class="p">,</span> <span class="s1">&#39;_prevDiff&#39;</span><span class="p">)</span>
<span class="k">def</span> <span class="fm">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">cursor</span><span class="p">,</span> <span class="n">nextDiff</span><span class="p">,</span> <span class="n">prevDiff</span><span class="p">):</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_cursor</span> <span class="o">=</span> <span class="n">cursor</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_nextDiff</span> <span class="o">=</span> <span class="n">nextDiff</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_prevDiff</span> <span class="o">=</span> <span class="n">prevDiff</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_id</span> <span class="o">=</span> <span class="n">TTkTextDocument</span><span class="o">.</span><span class="n">_snapshot</span><span class="o">.</span><span class="n">_lastId</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_lastId</span><span class="o">+</span><span class="mi">1</span>
<span class="c1"># TTkLog.debug(f&quot;{self._id=}&quot;)</span>
<span class="k">def</span> <span class="nf">getNextSnap</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">lines</span><span class="p">):</span>
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_getSnap</span><span class="p">(</span><span class="n">lines</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">_nextDiff</span><span class="p">)</span>
<span class="k">def</span> <span class="nf">getPrevSnap</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">lines</span><span class="p">):</span>
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_getSnap</span><span class="p">(</span><span class="n">lines</span><span class="p">,</span> <span class="bp">self</span><span class="o">.</span><span class="n">_prevDiff</span><span class="p">)</span>
<span class="k">def</span> <span class="nf">_getSnap</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">lines</span><span class="p">,</span> <span class="n">d</span><span class="p">):</span>
<span class="n">lines</span><span class="p">[</span><span class="n">d</span><span class="o">.</span><span class="n">_i1</span><span class="p">:</span><span class="n">d</span><span class="o">.</span><span class="n">_i2</span><span class="p">]</span> <span class="o">=</span> <span class="n">d</span><span class="o">.</span><span class="n">_slice</span>
<span class="k">return</span> <span class="n">d</span><span class="o">.</span><span class="n">_snap</span>
<span class="vm">__slots__</span> <span class="o">=</span> <span class="p">(</span>
<span class="s1">&#39;_dataLines&#39;</span><span class="p">,</span> <span class="s1">&#39;_modified&#39;</span><span class="p">,</span>
<span class="s1">&#39;_snap&#39;</span><span class="p">,</span> <span class="s1">&#39;_snapChanged&#39;</span><span class="p">,</span>
<span class="s1">&#39;_lastSnap&#39;</span><span class="p">,</span> <span class="s1">&#39;_lastCursor&#39;</span><span class="p">,</span>
<span class="c1"># Signals</span>
<span class="s1">&#39;contentsChange&#39;</span><span class="p">,</span> <span class="s1">&#39;contentsChanged&#39;</span><span class="p">,</span>
<span class="s1">&#39;cursorPositionChanged&#39;</span><span class="p">,</span>
<span class="s1">&#39;undoAvailable&#39;</span><span class="p">,</span> <span class="s1">&#39;redoAvailable&#39;</span><span class="p">,</span> <span class="s1">&#39;undoCommandAdded&#39;</span><span class="p">,</span>
<span class="s1">&#39;modificationChanged&#39;</span>
<span class="p">)</span>
<span class="k">def</span> <span class="fm">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kwargs</span><span class="p">):</span>
<span class="kn">from</span> <span class="nn">TermTk.TTkGui.textcursor</span> <span class="kn">import</span> <span class="n">TTkTextCursor</span>
<span class="bp">self</span><span class="o">.</span><span class="n">cursorPositionChanged</span> <span class="o">=</span> <span class="n">pyTTkSignal</span><span class="p">(</span><span class="n">TTkTextCursor</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">contentsChange</span> <span class="o">=</span> <span class="n">pyTTkSignal</span><span class="p">(</span><span class="nb">int</span><span class="p">,</span><span class="nb">int</span><span class="p">,</span><span class="nb">int</span><span class="p">)</span> <span class="c1"># int line, int linesRemoved, int linesAdded</span>
<span class="bp">self</span><span class="o">.</span><span class="n">contentsChanged</span> <span class="o">=</span> <span class="n">pyTTkSignal</span><span class="p">()</span>
<span class="bp">self</span><span class="o">.</span><span class="n">undoAvailable</span> <span class="o">=</span> <span class="n">pyTTkSignal</span><span class="p">(</span><span class="nb">bool</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">redoAvailable</span> <span class="o">=</span> <span class="n">pyTTkSignal</span><span class="p">(</span><span class="nb">bool</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">undoCommandAdded</span> <span class="o">=</span> <span class="n">pyTTkSignal</span><span class="p">()</span>
<span class="bp">self</span><span class="o">.</span><span class="n">modificationChanged</span> <span class="o">=</span> <span class="n">pyTTkSignal</span><span class="p">(</span><span class="nb">bool</span><span class="p">)</span>
<span class="n">text</span> <span class="o">=</span> <span class="n">kwargs</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="s1">&#39;text&#39;</span><span class="p">,</span><span class="s2">&quot; &quot;</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span> <span class="o">=</span> <span class="p">[</span><span class="n">TTkString</span><span class="p">(</span><span class="n">t</span><span class="p">)</span> <span class="k">for</span> <span class="n">t</span> <span class="ow">in</span> <span class="n">text</span><span class="o">.</span><span class="n">split</span><span class="p">(</span><span class="s1">&#39;</span><span class="se">\n</span><span class="s1">&#39;</span><span class="p">)]</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_modified</span> <span class="o">=</span> <span class="kc">False</span>
<span class="c1"># Cumulative changes since the lasrt snapshot</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snapChanged</span> <span class="o">=</span> <span class="kc">None</span>
<span class="bp">self</span><span class="o">.</span><span class="n">contentsChange</span><span class="o">.</span><span class="n">connect</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_saveSnapChanged</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_lastSnap</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="o">.</span><span class="n">copy</span><span class="p">()</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_lastCursor</span> <span class="o">=</span> <span class="n">TTkTextCursor</span><span class="p">(</span><span class="n">document</span><span class="o">=</span><span class="bp">self</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snap</span> <span class="o">=</span> <span class="n">TTkTextDocument</span><span class="o">.</span><span class="n">_snapshot</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_lastCursor</span><span class="p">,</span> <span class="kc">None</span><span class="p">,</span> <span class="kc">None</span><span class="p">)</span>
<span class="c1"># I need this moethod to cover the math of merging</span>
<span class="c1"># multiples retuen values to be used in the contentsChange</span>
<span class="c1"># method</span>
<span class="c1">#</span>
<span class="c1"># ┬ ┬ ┬ ┬</span>
<span class="c1"># x2 -│----│-----l2 ┬┼----┼┐</span>
<span class="c1"># x1 l1 ┬┼----┼┐ ││ ││</span>
<span class="c1"># ││ ││ a1 r2 ││ ││ a2</span>
<span class="c1"># ││ /┼┘-------││-. ││</span>
<span class="c1"># r1 ││ /.│--------└┼-.. ││</span>
<span class="c1"># ││ /. │ │ \.││-z1</span>
<span class="c1"># y1 └┼&#39;. /┴ ┴-. -┼┘-z2</span>
<span class="c1"># y2 _│. / \ │</span>
<span class="c1"># │ / -┴</span>
<span class="c1"># ┴&#39;</span>
<span class="c1">#</span>
<span class="c1"># x1 = l1</span>
<span class="c1"># x2 = l2</span>
<span class="c1"># y1 = l1+r1</span>
<span class="c1"># y2 = l2+r2 + (r1-a1)</span>
<span class="c1"># z1 = l1+a1 + (a2-r2)</span>
<span class="c1"># z2 = l2+a2</span>
<span class="nd">@staticmethod</span>
<span class="k">def</span> <span class="nf">_mergeChangesSlices</span><span class="p">(</span><span class="n">ch1</span><span class="p">,</span><span class="n">ch2</span><span class="p">):</span>
<span class="n">l1</span><span class="p">,</span><span class="n">r1</span><span class="p">,</span><span class="n">a1</span> <span class="o">=</span> <span class="n">ch1</span>
<span class="n">l2</span><span class="p">,</span><span class="n">r2</span><span class="p">,</span><span class="n">a2</span> <span class="o">=</span> <span class="n">ch2</span>
<span class="n">x1</span> <span class="o">=</span> <span class="n">l1</span>
<span class="n">x2</span> <span class="o">=</span> <span class="n">l2</span>
<span class="n">y1</span> <span class="o">=</span> <span class="n">l1</span><span class="o">+</span><span class="n">r1</span>
<span class="n">y2</span> <span class="o">=</span> <span class="n">l2</span><span class="o">+</span><span class="n">r2</span> <span class="o">+</span> <span class="p">(</span><span class="n">r1</span><span class="o">-</span><span class="n">a1</span><span class="p">)</span>
<span class="n">z1</span> <span class="o">=</span> <span class="n">l1</span><span class="o">+</span><span class="n">a1</span> <span class="o">+</span> <span class="p">(</span><span class="n">a2</span><span class="o">-</span><span class="n">r2</span><span class="p">)</span>
<span class="n">z2</span> <span class="o">=</span> <span class="n">l2</span><span class="o">+</span><span class="n">a2</span>
<span class="n">a</span> <span class="o">=</span> <span class="nb">min</span><span class="p">(</span><span class="n">x1</span><span class="p">,</span><span class="n">x2</span><span class="p">)</span>
<span class="n">b</span> <span class="o">=</span> <span class="nb">max</span><span class="p">(</span><span class="n">y1</span><span class="p">,</span><span class="n">y2</span><span class="p">)</span> <span class="o">-</span> <span class="n">a</span>
<span class="n">c</span> <span class="o">=</span> <span class="nb">max</span><span class="p">(</span><span class="n">z1</span><span class="p">,</span><span class="n">z2</span><span class="p">)</span> <span class="o">-</span> <span class="n">a</span>
<span class="k">return</span> <span class="n">a</span><span class="p">,</span><span class="n">b</span><span class="p">,</span><span class="n">c</span>
<span class="nd">@pyTTkSlot</span><span class="p">(</span><span class="nb">int</span><span class="p">,</span><span class="nb">int</span><span class="p">,</span><span class="nb">int</span><span class="p">)</span>
<span class="k">def</span> <span class="nf">_saveSnapChanged</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span><span class="n">a</span><span class="p">,</span><span class="n">b</span><span class="p">,</span><span class="n">c</span><span class="p">):</span>
<span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snapChanged</span><span class="p">:</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snapChanged</span> <span class="o">=</span> <span class="n">TTkTextDocument</span><span class="o">.</span><span class="n">_mergeChangesSlices</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_snapChanged</span><span class="p">,(</span><span class="n">a</span><span class="p">,</span><span class="n">b</span><span class="p">,</span><span class="n">c</span><span class="p">))</span>
<span class="k">else</span><span class="p">:</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snapChanged</span> <span class="o">=</span> <span class="p">(</span><span class="n">a</span><span class="p">,</span><span class="n">b</span><span class="p">,</span><span class="n">c</span><span class="p">)</span>
<span class="k">def</span> <span class="nf">redo</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span> <span class="k">pass</span>
<span class="k">def</span> <span class="nf">setModified</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">m</span><span class="o">=</span><span class="kc">True</span><span class="p">):</span>
<span class="k">if</span> <span class="n">m</span> <span class="ow">and</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="p">:</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">_nextDiff</span> <span class="o">=</span> <span class="kc">None</span>
<span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">_modified</span> <span class="o">==</span> <span class="n">m</span><span class="p">:</span> <span class="k">return</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_modified</span> <span class="o">=</span> <span class="n">m</span>
<span class="bp">self</span><span class="o">.</span><span class="n">modificationChanged</span><span class="o">.</span><span class="n">emit</span><span class="p">(</span><span class="n">m</span><span class="p">)</span>
<span class="k">def</span> <span class="nf">undo</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span> <span class="k">pass</span>
<span class="k">def</span> <span class="nf">changed</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_modified</span>
<span class="k">def</span> <span class="nf">setChanged</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">c</span><span class="p">):</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_modified</span> <span class="o">=</span> <span class="n">c</span>
<span class="k">if</span> <span class="n">c</span> <span class="ow">and</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="p">:</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">_nextDiff</span> <span class="o">=</span> <span class="kc">None</span>
<span class="k">def</span> <span class="nf">lineCount</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="nb">len</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="p">)</span>
<span class="k">def</span> <span class="nf">characterCount</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="nb">sum</span><span class="p">([</span><span class="nb">len</span><span class="p">[</span><span class="n">x</span><span class="p">]</span> <span class="k">for</span> <span class="n">x</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="p">])</span><span class="o">+</span><span class="bp">self</span><span class="o">.</span><span class="n">lineCount</span><span class="p">()</span>
<span class="k">def</span> <span class="nf">setText</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">text</span><span class="p">):</span>
<span class="n">remLines</span> <span class="o">=</span> <span class="nb">len</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span> <span class="o">=</span> <span class="p">[</span><span class="n">TTkString</span><span class="p">(</span><span class="n">t</span><span class="p">)</span> <span class="k">for</span> <span class="n">t</span> <span class="ow">in</span> <span class="n">text</span><span class="o">.</span><span class="n">split</span><span class="p">(</span><span class="s1">&#39;</span><span class="se">\n</span><span class="s1">&#39;</span><span class="p">)]</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_modified</span> <span class="o">=</span> <span class="kc">False</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_lastSnap</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="o">.</span><span class="n">copy</span><span class="p">()</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snap</span> <span class="o">=</span> <span class="n">TTkTextDocument</span><span class="o">.</span><span class="n">_snapshot</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_lastCursor</span><span class="p">,</span> <span class="kc">None</span><span class="p">,</span> <span class="kc">None</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">contentsChanged</span><span class="o">.</span><span class="n">emit</span><span class="p">()</span>
<span class="bp">self</span><span class="o">.</span><span class="n">contentsChange</span><span class="o">.</span><span class="n">emit</span><span class="p">(</span><span class="mi">0</span><span class="p">,</span><span class="n">remLines</span><span class="p">,</span><span class="nb">len</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="p">))</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snapChanged</span> <span class="o">=</span> <span class="kc">None</span>
<span class="k">def</span> <span class="nf">appendText</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">text</span><span class="p">):</span>
<span class="k">if</span> <span class="nb">type</span><span class="p">(</span><span class="n">text</span><span class="p">)</span> <span class="o">==</span> <span class="nb">str</span><span class="p">:</span>
<span class="n">text</span> <span class="o">=</span> <span class="n">TTkString</span><span class="p">()</span> <span class="o">+</span> <span class="n">text</span>
<span class="n">oldLines</span> <span class="o">=</span> <span class="nb">len</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span> <span class="o">+=</span> <span class="n">text</span><span class="o">.</span><span class="n">split</span><span class="p">(</span><span class="s1">&#39;</span><span class="se">\n</span><span class="s1">&#39;</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_modified</span> <span class="o">=</span> <span class="kc">False</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_lastSnap</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="o">.</span><span class="n">copy</span><span class="p">()</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snap</span> <span class="o">=</span> <span class="n">TTkTextDocument</span><span class="o">.</span><span class="n">_snapshot</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_lastCursor</span><span class="p">,</span> <span class="kc">None</span><span class="p">,</span> <span class="kc">None</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">contentsChanged</span><span class="o">.</span><span class="n">emit</span><span class="p">()</span>
<span class="bp">self</span><span class="o">.</span><span class="n">contentsChange</span><span class="o">.</span><span class="n">emit</span><span class="p">(</span><span class="n">oldLines</span><span class="p">,</span><span class="mi">0</span><span class="p">,</span><span class="nb">len</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="p">)</span><span class="o">-</span><span class="n">oldLines</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snapChanged</span> <span class="o">=</span> <span class="kc">None</span>
<span class="k">def</span> <span class="nf">isUndoAvailable</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span> <span class="ow">and</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">_prevDiff</span>
<span class="k">def</span> <span class="nf">isRedoAvailable</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span> <span class="ow">and</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">_nextDiff</span>
<span class="k">def</span> <span class="nf">hasSnapshots</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span> <span class="ow">is</span> <span class="ow">not</span> <span class="kc">None</span>
<span class="k">def</span> <span class="nf">snapshootId</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">_id</span>
<span class="k">def</span> <span class="nf">saveSnapshot</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">cursor</span><span class="p">):</span>
<span class="n">docA</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_lastSnap</span>
<span class="n">docB</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span>
<span class="c1"># get the</span>
<span class="c1"># sa = starting line</span>
<span class="c1"># sb = removed lines</span>
<span class="c1"># sc = added lines</span>
<span class="c1"># of the cumulative changes applied since the last snapshot</span>
<span class="n">sa</span><span class="p">,</span><span class="n">sb</span><span class="p">,</span><span class="n">sc</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snapChanged</span> <span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snapChanged</span> <span class="k">else</span> <span class="p">(</span><span class="mi">0</span><span class="p">,</span><span class="mi">0</span><span class="p">,</span><span class="mi">0</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snapChanged</span> <span class="o">=</span> <span class="kc">None</span>
<span class="n">sliceA</span> <span class="o">=</span> <span class="n">docA</span><span class="p">[</span><span class="n">sa</span><span class="p">:</span><span class="n">sa</span><span class="o">+</span><span class="n">sb</span><span class="p">]</span>
<span class="n">sliceB</span> <span class="o">=</span> <span class="n">docB</span><span class="p">[</span><span class="n">sa</span><span class="p">:</span><span class="n">sa</span><span class="o">+</span><span class="n">sc</span><span class="p">]</span>
<span class="k">if</span> <span class="n">sliceA</span> <span class="ow">or</span> <span class="n">sliceB</span><span class="p">:</span>
<span class="c1"># current snapshot</span>
<span class="c1"># is becoming the previous one</span>
<span class="n">snapA</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span>
<span class="n">diffBA</span> <span class="o">=</span> <span class="n">TTkTextDocument</span><span class="o">.</span><span class="n">_snapDiff</span><span class="p">(</span><span class="n">sliceA</span><span class="p">,</span> <span class="n">sa</span><span class="p">,</span> <span class="n">sa</span><span class="o">+</span><span class="n">sc</span><span class="p">,</span> <span class="n">snapA</span><span class="p">)</span>
<span class="n">snapB</span> <span class="o">=</span> <span class="n">TTkTextDocument</span><span class="o">.</span><span class="n">_snapshot</span><span class="p">(</span><span class="n">cursor</span><span class="p">,</span> <span class="kc">None</span><span class="p">,</span> <span class="n">diffBA</span><span class="p">)</span>
<span class="n">diffAB</span> <span class="o">=</span> <span class="n">TTkTextDocument</span><span class="o">.</span><span class="n">_snapDiff</span><span class="p">(</span><span class="n">sliceB</span><span class="p">,</span> <span class="n">sa</span><span class="p">,</span> <span class="n">sa</span><span class="o">+</span><span class="n">sb</span><span class="p">,</span> <span class="n">snapB</span><span class="p">)</span>
<span class="n">snapA</span><span class="o">.</span><span class="n">_nextDiff</span> <span class="o">=</span> <span class="n">diffAB</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snap</span> <span class="o">=</span> <span class="n">snapB</span>
<span class="k">else</span><span class="p">:</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">_cursor</span> <span class="o">=</span> <span class="n">cursor</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_modified</span> <span class="o">=</span> <span class="kc">False</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_lastSnap</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="o">.</span><span class="n">copy</span><span class="p">()</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_lastCursor</span> <span class="o">=</span> <span class="n">cursor</span>
<span class="bp">self</span><span class="o">.</span><span class="n">undoAvailable</span><span class="o">.</span><span class="n">emit</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">isUndoAvailable</span><span class="p">())</span>
<span class="bp">self</span><span class="o">.</span><span class="n">redoAvailable</span><span class="o">.</span><span class="n">emit</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">isRedoAvailable</span><span class="p">())</span>
<span class="k">def</span> <span class="nf">_restoreSnapshotDiff</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="nb">next</span><span class="o">=</span><span class="kc">True</span><span class="p">):</span>
<span class="k">if</span> <span class="p">(</span> <span class="ow">not</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span> <span class="ow">or</span>
<span class="p">(</span> <span class="nb">next</span> <span class="ow">and</span> <span class="ow">not</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">_nextDiff</span><span class="p">)</span> <span class="ow">or</span>
<span class="p">(</span><span class="ow">not</span> <span class="nb">next</span> <span class="ow">and</span> <span class="ow">not</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">_prevDiff</span><span class="p">)</span> <span class="p">):</span>
<span class="k">return</span> <span class="kc">None</span>
<span class="k">if</span> <span class="nb">next</span><span class="p">:</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snap</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">getNextSnap</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="p">)</span>
<span class="k">else</span><span class="p">:</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_snap</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">getPrevSnap</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="p">)</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_lastSnap</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="o">.</span><span class="n">copy</span><span class="p">()</span>
<span class="bp">self</span><span class="o">.</span><span class="n">_lastCursor</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">_cursor</span><span class="o">.</span><span class="n">copy</span><span class="p">()</span>
<span class="bp">self</span><span class="o">.</span><span class="n">contentsChanged</span><span class="o">.</span><span class="n">emit</span><span class="p">()</span>
<span class="bp">self</span><span class="o">.</span><span class="n">undoAvailable</span><span class="o">.</span><span class="n">emit</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">isUndoAvailable</span><span class="p">())</span>
<span class="bp">self</span><span class="o">.</span><span class="n">redoAvailable</span><span class="o">.</span><span class="n">emit</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">isRedoAvailable</span><span class="p">())</span>
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_snap</span><span class="o">.</span><span class="n">_cursor</span>
<span class="k">def</span> <span class="nf">restoreSnapshotPrev</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_restoreSnapshotDiff</span><span class="p">(</span><span class="kc">False</span><span class="p">)</span>
<span class="k">def</span> <span class="nf">restoreSnapshotNext</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_restoreSnapshotDiff</span><span class="p">(</span><span class="kc">True</span><span class="p">)</span>
<span class="c1"># def toHtml(self, encoding): pass</span>
<span class="c1"># def toMarkdown(self, features): pass</span>
<span class="k">def</span> <span class="nf">toAnsi</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="s2">&quot;</span><span class="se">\n</span><span class="s2">&quot;</span><span class="o">.</span><span class="n">join</span><span class="p">([</span><span class="n">l</span><span class="o">.</span><span class="n">toAnsi</span><span class="p">()</span> <span class="k">for</span> <span class="n">l</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="p">])</span>
<span class="k">def</span> <span class="nf">toPlainText</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="s2">&quot;</span><span class="se">\n</span><span class="s2">&quot;</span><span class="o">.</span><span class="n">join</span><span class="p">([</span><span class="nb">str</span><span class="p">(</span><span class="n">l</span><span class="p">)</span> <span class="k">for</span> <span class="n">l</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="p">])</span>
<span class="k">def</span> <span class="nf">toRawText</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
<span class="k">return</span> <span class="n">TTkString</span><span class="p">(</span><span class="s2">&quot;</span><span class="se">\n</span><span class="s2">&quot;</span><span class="p">)</span><span class="o">.</span><span class="n">join</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">_dataLines</span><span class="p">)</span></div>
</pre></div>
</div>
</div>
<footer>
<hr/>
<div role="contentinfo">
<p>&#169; Copyright 2021, Eugenio Parodi.</p>
</div>
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
<a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
provided by <a href="https://readthedocs.org">Read the Docs</a>.
</footer>
</div>
</div>
</section>
</div>
<script>
jQuery(function () {
SphinxRtdTheme.Navigation.enable(true);
});
</script>
</body>
</html>