#@+leo-ver=5-thin
#@+node:tbrown.20100318101414.5990: * @file viewrendered.py
#@+<< vr docstring >>
#@+node:tbrown.20100318101414.5991: ** << vr docstring >>
'''

Creates a window for *live* rendering of reSTructuredText, markdown text,
images, movies, sounds, rst, html, jupyter notebooks, etc.

Dependencies
============

This plugin uses docutils, http://docutils.sourceforge.net/, to render reStructuredText,
so installing docutils is highly recommended when using this plugin.

This plugin uses markdown, http://http://pypi.python.org/pypi/Markdown, to render Markdown,
so installing markdown is highly recommended when using this plugin.

Commands
========

viewrendered.py creates the following (``Alt-X``) commands:

``viewrendered (abbreviated vr)``
    Opens a new rendering window.

    By default, the rendering pane renders body text as reStructuredText,
    with all Leo directives removed.
    However, if the body text starts with ``<`` (after removing directives),
    the body text is rendered as html.

    **Important**: The default rendering just described does not apply to nodes
    whose headlines begin with @image, @html, @movie, @networkx, @svg and @url.
    See the section called **Special Renderings** below.

    Rendering sets the process current directory (os.chdir()) to the path
    to the node being rendered, to allow relative paths to work in ``.. image::`` directives.

.. ``viewrendered-big``
..    as above, but zoomed in, useful for presentations
.. ``viewrendered-html``
..    displays the html source generated from reStructuredText, useful for
..    debugging

``vr-hide``
    Makes the rendering pane invisible, but does not destroy it.

``vr-lock`` and ``vr-unlock``
    Locks and unlocks the rendering pane.
    When unlocked (the initial state), the rendering pane renders the contents
    of the presently selected node.
    When locked, the rendering pane does not change when other nodes are selected.
    This is useful for playing movies in the rendering pane.

``vr-pause-play-movie``
    This command has effect only if the rendering pane is presently showing a movie.
    It pauses the movie if playing, or resumes the movie if paused.

``vr-show``
    Makes the rendering pane visible.

``vr-toggle``
    Shows the rendering pane if invisible, otherwise hides it.

``vr-update``
    Forces an update of the rendering pane.
    This is especially useful for @graphics-script nodes:
    such nodes are update automatically only when selected,
    not when the body text changes.

Rendering reStructuredText
==========================

For example, both::

    Heading
    -------

    `This` is **really** a line of text.

and::

    <h1>Heading<h1>

    <tt>This</tt> is <b>really</b> a line of text.

will look something like:

    **Heading**

    `This` is **really** a line of text.

**Important**: reStructuredText errors and warnings will appear in red in the rendering pane.

Rendering markdown
==================
Please see the markdown syntax document at http://daringfireball.net/projects/markdown/syntax
for more information on markdown.

Unless ``@string view-rendered-default-kind`` is set to ``md``, markdown rendering must be
specified by putting it in a ``@md`` node.

Special Renderings
===================

As stated above, the rendering pane renders body text as reStructuredText
by default, with all Leo directives removed. However, if the body text
starts with ``<`` (after removing directives), the body text is rendered as
html.

This plugin renders @md, @image, @jupyter, @html, @movie, @networkx and @svg nodes as follows:

**Note**: For @image, @movie and @svg nodes, either the headline or the first line of body text may
contain a filename.  If relative, the filename is resolved relative to Leo's load directory.

- ``@md`` renderes the body text as markdown, as described above.

- ``@graphics-script`` executes the script in the body text in a context containing
  two predefined variables:

    - gs is the QGraphicsScene for the rendering pane.
    - gv is the QGraphicsView for the rendering pane.

  Using these variables, the script in the body text may create graphics to the rendering pane.

- ``@image`` renders the file as an image.


- ``@html`` renders the body text as html.

- ``@jupyter`` renders the output from Jupyter Notebooks.

  The contents of the @jupyter node can be either a url to the notebook or
  the actual JSON notebook itself.
  
  Use file:// urls for local files. Some examples:
      
      Windows: file:///c:/Test/a_notebook.ipynb
      
      Linux:   file:///home/a_notebook.ipynb

- ``@movie`` plays the file as a movie.  @movie also works for music files.

- ``@networkx`` is non-functional at present.  It is intended to
  render the body text as a networkx graph.
  See http://networkx.lanl.gov/

- ``@svg`` renders the file as a (possibly animated!) svg (Scalable Vector Image).
  See http://en.wikipedia.org/wiki/Scalable_Vector_Graphics
  **Note**: if the first character of the body text is ``<`` after removing Leo directives,
  the contents of body pane is taken to be an svg image.

Settings
========

- ``@color rendering-pane-background-color = white``
  The background color the rendering pane when rendering text.

- ``@bool view-rendered-auto-create = False``
  When True, show the rendering pane when Leo opens an outline.

- ``@bool view-rendered-auto-hide = False``
  When True, hide the rendering pane for text-only renderings.

- ``@string view-rendered-default-kind = rst``
  The default kind of rendering.  One of (big,rst,md,html)

- ``@string view-rendered-md-extensions = extra``
  A comma-delineated list of markdown extensions to use.
  Suitable extensions can be seen here:
  http://pythonhosted.org/Markdown/extensions/index.html

Acknowledgments
================

Terry Brown created this initial version of this plugin,
and the free_layout and NestedSplitter plugins used by viewrendered.

Edward K. Ream generalized this plugin and added communication
and coordination between the free_layout, NestedSplitter and viewrendered plugins.

Jacob Peck added markdown support to this plugin.

'''
#@-<< vr docstring >>
#@+<< to do >>
#@+node:ekr.20140924060835.19485: ** << to do >> (vr)
#@+at
# To do:
# 
# - Use the free_layout rotate-all command in Leo's toggle-split-direction command.
# - Add dict to allow customize must_update.
# - Lock movies automatically until they are finished?
# - Render @url nodes as html?
# - Support uA's that indicate the kind of rendering desired.
# - (Failed) Make viewrendered-big work.
#@-<< to do >>
#pylint: disable=no-member
trace = False
    # This global trace is convenient.
#@+<< imports >>
#@+node:tbrown.20100318101414.5993: ** << imports >> (vr)
import leo.core.leoGlobals as g
try:
    import leo.plugins.qt_text as qt_text
    import leo.plugins.free_layout as free_layout
    from leo.core.leoQt import isQt5, QtCore, QtGui, QtWidgets
    from leo.core.leoQt import phonon, QtMultimedia, QtSvg, QtWebKitWidgets
except Exception:
    QtWidgets = False
try:
    import docutils
    import docutils.core
except ImportError:
    docutils = None
if docutils:
    try:
        from docutils.core import publish_string
        from docutils.utils import SystemMessage
        got_docutils = True
    except ImportError:
        got_docutils = False
        g.es_exception()
    except SyntaxError:
        got_docutils = False
        g.es_exception()
else:
    got_docutils = False
# markdown support, non-vital
try:
    from markdown import markdown
    got_markdown = True
except ImportError:
    got_markdown = False
import os
# nbformat (@jupyter) support, non-vital.
try:
    import nbformat
    from nbconvert import HTMLExporter
    # from traitlets.config import Config
except ImportError:
    nbformat = None
import json
try:
    from urllib.request import urlopen
except ImportError:
    try:
        from urllib import urlopen  # for Python 2.7
    except ImportError:
        urllib = None
#@-<< imports >>
#@+<< set BaseTextWidget >>
#@+node:ekr.20190424081947.1: ** << set BaseTextWidget >> (vr)
if QtWidgets:
    try:
        BaseTextWidget = QtWebKitWidgets.QWebView
    except Exception:
        BaseTextWidget = QtWidgets.QTextBrowser
else:
    BaseTextWidget = None
#@-<< set BaseTextWidget >>
#@+<< define html templates >>
#@+node:ekr.20170324090828.1: ** << define html templates >> (vr)
image_template = '''\
<!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" xml:lang="en" lang="en">
<head></head>
<body bgcolor="#fffbdc">
<img src="%s">
</body>
</html>
'''

# http://docs.mathjax.org/en/latest/start.html
latex_template = '''\
<!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" xml:lang="en" lang="en">
<head>
    <script src='https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML'>
    </script>
</head>
<body bgcolor="#fffbdc">
%s
</body>
</html>
'''
#@-<< define html templates >>
controllers = {}
    # Keys are c.hash(): values are PluginControllers (QWidget's).
layouts = {}
    # Keys are c.hash(): values are tuples (layout_when_closed, layout_when_open)
#@+others
#@+node:ekr.20110320120020.14491: ** vr.Top-level
#@+node:tbrown.20100318101414.5994: *3* vr.decorate_window
def decorate_window(w):
    # Do not override the style sheet!
    # This interferes with themes
        # w.setStyleSheet(stickynote_stylesheet)
    g.app.gui.attachLeoIcon(w)
    w.resize(600, 300)
#@+node:tbrown.20100318101414.5995: *3* vr.init
def init():
    '''Return True if the plugin has loaded successfully.'''
    global got_docutils
    if g.app.gui.guiName() != 'qt':
        return False
            # #1248.
    # if g.app.gui.guiName()
    if not QtWidgets or not g.app.gui.guiName().startswith('qt'):
        if (
            not g.unitTesting and
            not g.app.batchMode and
            not g.app.gui.guiName() in ('browser', 'curses')
        ):
            g.es_print('viewrendered requires Qt')
        return False
    if not got_docutils:
        g.es_print('Warning: viewrendered.py running without docutils.')
    # Always enable this plugin, even if imports fail.
    g.plugin_signon(__name__)
    g.registerHandler('after-create-leo-frame', onCreate)
    g.registerHandler('close-frame', onClose)
    g.registerHandler('scrolledMessage', show_scrolled_message)
    return True
#@+node:ekr.20180825025924.1: *3* vr.isVisible
def isVisible():
    '''Return True if the VR pane is visible.'''
#@+node:ekr.20110317024548.14376: *3* vr.onCreate
def onCreate(tag, keys):
    c = keys.get('c')
    if not c:
        return
    provider = ViewRenderedProvider(c)
    free_layout.register_provider(c, provider)
    if g.app.dock:
        # Instantiate immediately.
        viewrendered(event={'c': c})

#@+node:vitalije.20170712174157.1: *3* vr.onClose
def onClose(tag, keys):
    c = keys.get('c')
    h = c.hash()
    vr = controllers.get(h)
    if vr:
        c.bodyWantsFocus()
        del controllers[h]
        vr.deactivate()
        vr.deleteLater()
#@+node:tbrown.20110629132207.8984: *3* vr.show_scrolled_message
def show_scrolled_message(tag, kw):
    if g.unitTesting:
        return None # This just slows the unit tests.
    c = kw.get('c')
    flags = kw.get('flags') or 'rst'
    vr = viewrendered(event=kw)
    title = kw.get('short_title', '').strip()
    vr.setWindowTitle(title)
    s = '\n'.join([
        title,
        '=' * len(title),
        '',
        kw.get('msg')
    ])
    vr.update(
        tag='show-scrolled-message',
        keywords={'c': c, 'force': True, 's': s, 'flags': flags},
    )
    return True
#@+node:vitalije.20170713082256.1: *3* vr.split_last_sizes
def split_last_sizes(sizes):
    result = [2 * x for x in sizes[:-1]]
    result.append(sizes[-1])
    result.append(sizes[-1])
    return result
#@+node:ekr.20110320120020.14490: ** vr.Commands
#@+node:ekr.20131213163822.16471: *3* g.command('preview')
@g.command('preview')
def preview(event):
    '''A synonym for the vr-toggle command.'''
    toggle_rendering_pane(event)
#@+node:tbrown.20100318101414.5998: *3* g.command('vr')
@g.command('vr')
def viewrendered(event):
    """Open render view for commander"""
    global controllers, layouts
    if g.app.gui.guiName() != 'qt':
        return None
    c = event.get('c')
    if not c:
        return None
    h = c.hash()
    vr = controllers.get(h)
    if not vr:
        controllers[h] = vr = ViewRenderedController(c)
    if g.app.dock:
        vr.show_dock_or_pane()
        return vr
    #
    # Legacy code: add the pane to the splitter.
    layouts[h] = c.db.get('viewrendered_default_layouts', (None, None))
    vr._ns_id = '_leo_viewrendered' # for free_layout load/save
    vr.splitter = splitter = c.free_layout.get_top_splitter()
    if splitter:
        vr.store_layout('closed')
        sizes = split_last_sizes(splitter.sizes())
        ok = splitter.add_adjacent(vr, 'bodyFrame', 'right-of')
        if not ok:
            splitter.insert(0, vr)
        elif splitter.orientation() == QtCore.Qt.Horizontal:
            splitter.setSizes(sizes)
        vr.adjust_layout('open')
    c.bodyWantsFocusNow()
    return vr
#@+node:ekr.20130413061407.10362: *3* g.command('vr-contract')
@g.command('vr-contract')
def contract_rendering_pane(event):
    '''Contract the rendering pane.'''
    if g.app.gui.guiName() != 'qt':
        return
    c = event.get('c')
    if not c:
        return
    vr = controllers.get(c.hash())
    if not vr:
        vr = viewrendered(event)
    if g.app.dock:
        return
    vr.contract()
#@+node:ekr.20130413061407.10361: *3* g.command('vr-expand')
@g.command('vr-expand')
def expand_rendering_pane(event):
    '''Expand the rendering pane.'''
    if g.app.gui.guiName() != 'qt':
        return
    c = event.get('c')
    if not c:
        return
    vr = controllers.get(c.hash())
    if not vr:
        vr = viewrendered(event)
    if g.app.dock:
        return
    vr.expand()
#@+node:ekr.20110917103917.3639: *3* g.command('vr-hide')
@g.command('vr-hide')
def hide_rendering_pane(event):
    '''Close the rendering pane.'''
    global controllers, layouts
    if g.app.gui.guiName() != 'qt':
        return
    c = event.get('c')
    if not c:
        return
    vr = controllers.get(c.hash())
    if not vr:
        vr = viewrendered(event)
    if g.app.dock:
        if vr.external_dock:
            return # Can't hide a top-level dock.
        dock = vr.leo_dock
        if dock:
            dock.hide()
        return
    #
    # Legacy code.
    if vr.pyplot_active:
        g.es_print('can not close VR pane after using pyplot')
        return
    vr.store_layout('open')
    vr.deactivate()
    vr.deleteLater()

    def at_idle(c=c, _vr=vr):
        _vr.adjust_layout('closed')
        c.bodyWantsFocusNow()

    QtCore.QTimer.singleShot(0, at_idle)
    h = c.hash()
    c.bodyWantsFocus()
    if vr == controllers.get(h):
        del controllers[h]
    else:
        g.trace('Can not happen: no controller for %s' % (c))
# Compatibility

close_rendering_pane = hide_rendering_pane
#@+node:ekr.20110321072702.14507: *3* g.command('vr-lock')
@g.command('vr-lock')
def lock_rendering_pane(event):
    '''Lock the rendering pane.'''
    global controllers
    if g.app.gui.guiName() != 'qt':
        return
    c = event.get('c')
    if not c:
        return
    vr = controllers.get(c.hash())
    if not vr:
        vr = viewrendered(event)
    if not vr.locked:
        vr.lock()
#@+node:ekr.20110320233639.5777: *3* g.command('vr-pause-play')
@g.command('vr-pause-play-movie')
def pause_play_movie(event):
    '''Pause or play a movie in the rendering pane.'''
    global controllers
    if g.app.gui.guiName() != 'qt':
        return
    c = event.get('c')
    if not c:
        return
    vr = controllers.get(c.hash())
    if not vr:
        vr = viewrendered(event)
    vp = vr.vp
    if not vp:
        return
    f = vp.pause if vp.isPlaying() else vp.play
    f()
#@+node:ekr.20110317080650.14386: *3* g.command('vr-show')
@g.command('vr-show')
def show_rendering_pane(event):
    '''Show the rendering pane.'''
    global controllers
    if g.app.gui.guiName() != 'qt':
        return
    c = event.get('c')
    if not c:
        return
    vr = controllers.get(c.hash())
    if not vr:
        vr = viewrendered(event)
    vr.show_dock_or_pane()
#@+node:ekr.20131001100335.16606: *3* g.command('vr-toggle')
@g.command('vr-toggle')
def toggle_rendering_pane(event):
    '''Toggle the rendering pane.'''
    global controllers
    if g.app.gui.guiName() != 'qt':
        return
    c = event.get('c')
    if not c:
        return
    if g.app.gui.guiName() != 'qt':
        return
    vr = controllers.get(c.hash())
    if not vr:
        vr = viewrendered(event)
        vr.hide() # So the toggle below will work.
    if g.app.dock:
        if vr.external_dock:
            return # Can't hide a top-level dock.
        dock = vr.leo_dock
        if dock:
            f = dock.show if dock.isHidden() else dock.hide
            f()
    elif vr.isHidden():
        show_rendering_pane(event)
    else:
        hide_rendering_pane(event)
#@+node:ekr.20130412180825.10345: *3* g.command('vr-unlock')
@g.command('vr-unlock')
def unlock_rendering_pane(event):
    '''Pause or play a movie in the rendering pane.'''
    global controllers
    if g.app.gui.guiName() != 'qt':
        return
    c = event.get('c')
    if not c:
        return
    vr = controllers.get(c.hash())
    if not vr:
        vr = viewrendered(event)
    if vr.locked:
        vr.unlock()
#@+node:ekr.20110321151523.14464: *3* g.command('vr-update')
@g.command('vr-update')
def update_rendering_pane(event):
    '''Update the rendering pane'''
    global controllers
    if g.app.gui.guiName() != 'qt':
        return
    c = event.get('c')
    if not c:
        return
    vr = controllers.get(c.hash())
    if not vr:
        vr = viewrendered(event)
    vr.update(tag='view', keywords={'c': c, 'force': True})
#@+node:vitalije.20170712195827.1: *3* @g.command('vr-zoom')
@g.command('vr-zoom')
def zoom_rendering_pane(event):

    global controllers
    if g.app.gui.guiName() != 'qt':
        return
    c = event.get('c')
    if not c:
        return
    vr = controllers.get(c.hash())
    if not vr:
        vr = viewrendered(event)
    if g.app.dock:
        return
    flc = c.free_layout
    if vr.zoomed:
        for ns in flc.get_top_splitter().top().self_and_descendants():
            if hasattr(ns, '_unzoom'):
                # this splitter could have been added since
                ns.setSizes(ns._unzoom)
    else:
        parents = []
        parent = vr
        while parent:
            parents.append(parent)
            parent = parent.parent()
        for ns in flc.get_top_splitter().top().self_and_descendants():
            # FIXME - shouldn't be doing this across windows
            ns._unzoom = ns.sizes()
            for i in range(ns.count()):
                w = ns.widget(i)
                if w in parents:
                    sizes = [0] * len(ns._unzoom)
                    sizes[i] = sum(ns._unzoom)
                    ns.setSizes(sizes)
                    break
    vr.zoomed = not vr.zoomed
#@+node:tbrown.20110629084915.35149: ** class ViewRenderedProvider (vr)
class ViewRenderedProvider:
    #@+others
    #@+node:tbrown.20110629084915.35154: *3* vr.__init__
    def __init__(self, c):
        self.c = c
        # Careful: we may be unit testing.
        if hasattr(c, 'free_layout'):
            splitter = c.free_layout.get_top_splitter()
            if splitter:
                splitter.register_provider(self)
    #@+node:tbrown.20110629084915.35150: *3* vr.ns_provides
    def ns_provides(self):
        return [('Viewrendered', '_leo_viewrendered')]
    #@+node:tbrown.20110629084915.35151: *3* vr.ns_provide
    def ns_provide(self, id_):
        global controllers, layouts
        if id_ == '_leo_viewrendered':
            c = self.c
            vr = controllers.get(c.hash()) or ViewRenderedController(c)
            h = c.hash()
            controllers[h] = vr
            if not layouts.get(h):
                layouts[h] = c.db.get('viewrendered_default_layouts', (None, None))
            # return ViewRenderedController(self.c)
            return vr
        return None
    #@-others
#@+node:ekr.20110317024548.14375: ** class ViewRenderedController (QWidget)
if QtWidgets: # NOQA

    class ViewRenderedController(QtWidgets.QWidget):
        '''A class to control rendering in a rendering pane.'''
        #@+others
        #@+node:ekr.20110317080650.14380: *3* vr.ctor & helpers
        def __init__(self, c, parent=None):
            '''Ctor for ViewRenderedController class.'''
            self.c = c
            # Create the widget.
            super().__init__(parent)
            self.create_pane(parent)
            # Set the ivars.
            self.active = False
            self.badColors = []
            self.delete_callback = None
            self.gnx = None
            self.graphics_class = QtWidgets.QGraphicsWidget
            self.pyplot_canvas = None
            self.pyplot_imported = False
            self.gs = None # For @graphics-script: a QGraphicsScene
            self.gv = None # For @graphics-script: a QGraphicsView
            self.inited = False
            self.length = 0 # The length of previous p.b.
            self.locked = False
            self.pyplot_active = False
            self.scrollbar_pos_dict = {} # Keys are vnodes, values are positions.
            self.sizes = [] # Saved splitter sizes.
            self.splitter = None
            self.splitter_index = None # The index of the rendering pane in the splitter.
            self.title = None
            self.vp = None # The present video player.
            self.w = None # The present widget in the rendering pane.
            # User settings.
            self.reloadSettings()
            self.node_changed = True
            # Init.
            self.create_dispatch_dict()
            self.activate()
            self.zoomed = False
        #@+node:ekr.20110320120020.14478: *4* vr.create_dispatch_dict
        def create_dispatch_dict(self):
            pc = self
            d = {
                'big': pc.update_rst,
                'html': pc.update_html,
                'graphics-script': pc.update_graphics_script,
                'image': pc.update_image,
                'jupyter': pc.update_jupyter,
                'latex': pc.update_latex,
                'markdown': pc.update_md,
                'md': pc.update_md,
                'movie': pc.update_movie,
                'networkx': pc.update_networkx,
                'pyplot': pc.update_pyplot,
                'rest': pc.update_rst,
                'rst': pc.update_rst,
                'svg': pc.update_svg,
                # 'url': pc.update_url,
                # 'xml': pc.update_xml,
            }
            pc.dispatch_dict = d
            return d
        #@+node:ekr.20171114150510.1: *4* vr.reloadSettings
        def reloadSettings(self):
            c = self.c
            c.registerReloadSettings(self)
            self.auto_create = c.config.getBool('view-rendered-auto-create', False)
            self.background_color = c.config.getColor('rendering-pane-background-color') or 'white'
            self.default_kind = c.config.getString('view-rendered-default-kind') or 'rst'
            self.external_dock = c.config.getBool('use-vr-dock', default=False)
        #@+node:ekr.20190614065659.1: *4* vr.create_pane
        def create_pane(self, parent):
            '''Create the VR pane or dock.'''
            c = self.c
            dw = c.frame.top
            self.leo_dock = None # May be set below.
            if g.app.unitTesting:
                return
            #
            # Create the inner contents.
            self.setObjectName('viewrendered_pane')
            self.setLayout(QtWidgets.QVBoxLayout())
            self.layout().setContentsMargins(0, 0, 0, 0)
            if not g.app.dock:
                return
            external_dock = c.config.getBool('use-vr-dock', default=False)
                # reload_settings has not yet been called.
            #
            # Allow the VR dock to move only in special circumstances.
            moveable = (
                external_dock and g.app.init_docks or
                g.app.get_central_widget(c) == 'body'
            )
            self.leo_dock = dock = dw.createDockWidget(
                closeable=True, moveable=moveable, height=50, name='Render')
            if moveable:
                #
                # Create a stand-alone dockable area.
                dock.setWidget(self)
                dw.addDockWidget(QtCore.Qt.RightDockWidgetArea, dock)
                dock.show()
                return
            #
            # Split the body dock.
            dw.leo_docks.append(dock)
            dock.setWidget(self)
            dw.splitDockWidget(dw.body_dock, dock, QtCore.Qt.Horizontal)
        #@+node:tbrown.20110621120042.22676: *3* vr.closeEvent
        def closeEvent(self, event):
            '''Close the vr window.'''
            self.deactivate()
        #@+node:ekr.20130413061407.10363: *3* vr.contract & expand
        def contract(self):
            self.change_size(-100)

        def expand(self):
            self.change_size(100)

        def change_size(self, delta):
            if hasattr(self.c, 'free_layout'):
                splitter = self.parent()
                i = splitter.indexOf(self)
                assert i > -1
                sizes = splitter.sizes()
                n = len(sizes)
                for j, size in enumerate(sizes):
                    if j == i:
                        sizes[j] = max(0, size + delta)
                    else:
                        sizes[j] = max(0, size - int(delta / (n - 1)))
                splitter.setSizes(sizes)
        #@+node:ekr.20110317080650.14381: *3* vr.activate
        def activate(self):
            '''Activate the vr-window.'''
            pc = self
            if pc.active: return
            pc.inited = True
            pc.active = True
            g.registerHandler('select2', pc.update)
            g.registerHandler('idle', pc.update)
        #@+node:ekr.20110317080650.14382: *3* vr.deactivate
        def deactivate(self):
            '''Deactivate the vr window.'''
            pc = self
            # Never disable the idle-time hook: other plugins may need it.
            g.unregisterHandler('select2', pc.update)
            g.unregisterHandler('idle', pc.update)
            pc.active = False
        #@+node:ekr.20110321072702.14508: *3* vr.lock/unlock
        def lock(self):
            '''Lock the vr pane.'''
            g.note('rendering pane locked')
            self.locked = True

        def unlock(self):
            '''Unlock the vr pane.'''
            g.note('rendering pane unlocked')
            self.locked = False
        #@+node:ekr.20160921071239.1: *3* vr.set_html
        def set_html(self, s, w):
            '''Set text in w to s, preserving scroll position.'''
            pc = self
            p = pc.c.p
            sb = w.verticalScrollBar()
            if sb:
                d = pc.scrollbar_pos_dict
                if pc.node_changed:
                    # Set the scrollbar.
                    pos = d.get(p.v, sb.sliderPosition())
                    sb.setSliderPosition(pos)
                else:
                    # Save the scrollbars
                    d[p.v] = pos = sb.sliderPosition()
            # if trace: g.trace('\n'+s)
            w.setHtml(s)
            if sb:
                # Restore the scrollbars
                assert pos is not None
                sb.setSliderPosition(pos)
        #@+node:ekr.20110319143920.14466: *3* vr.underline
        def underline(self, s):
            '''Generate rST underlining for s.'''
            ch = '#'
            n = max(4, len(g.toEncodedString(s, reportErrors=False)))
            # return '%s\n%s\n%s\n\n' % (ch*n,s,ch*n)
            return '%s\n%s\n\n' % (s, ch * n)
        #@+node:ekr.20101112195628.5426: *3* vr.update & helpers
        # Must have this signature: called by leoPlugins.callTagHandler.

        def update(self, tag, keywords):
            '''Update the vr pane. Called at idle time.'''
            pc = self
            p = pc.c.p
            # #1256.
            if self.locked:
                return
            if pc.must_update(keywords):
                #
                # Suppress updates until we change nodes.
                pc.node_changed = pc.gnx != p.v.gnx
                pc.gnx = p.v.gnx
                pc.length = len(p.b) # not s
                #
                # Remove Leo directives.
                s = keywords.get('s') if 's' in keywords else p.b
                s = pc.remove_directives(s)
                #
                # Use plain text if we are hidden.
                # This avoids annoying messages with rst.
                dock = pc.leo_dock or pc
                if dock.isHidden():
                    w = pc.ensure_text_widget()
                    w.setPlainText(s)
                    return
                #
                # Dispatch based on the computed kind.
                kind = keywords.get('flags') if 'flags' in keywords else pc.get_kind(p)
                if not kind:
                    # Do *not* try to render plain text.
                    w = pc.ensure_text_widget()
                    w.setPlainText(s)
                    pc.show() # Must be last.
                    return
                f = pc.dispatch_dict.get(kind)
                if not f:
                    g.trace('no handler for kind: %s' % kind)
                    f = pc.update_rst
                f(s, keywords)
            else:
                # Save the scroll position.
                w = pc.w
                if w.__class__ == QtWidgets.QTextBrowser:
                    # 2011/07/30: The widget may no longer exist.
                    try:
                        sb = w.verticalScrollBar()
                        pc.scrollbar_pos_dict[p.v] = sb.sliderPosition()
                    except Exception:
                        g.es_exception()
                        pc.deactivate()
        #@+node:ekr.20190424083049.1: *4* vr.create_base_text_widget
        def create_base_text_widget(self):
            '''Create a QWebView or a QTextBrowser.'''
            c = self.c
            w = BaseTextWidget()
            n = c.config.getInt('qweb-view-font-size')
            if n:
                try:
                    # BaseTextWidget is a QWebView.
                    settings = w.settings()
                    settings.setFontSize(settings.DefaultFontSize, n)
                except AttributeError:
                    # BaseTextWidget is a QTextBrowser.
                    pass
            return w
        #@+node:ekr.20110320120020.14486: *4* vr.embed_widget & helper
        def embed_widget(self, w, delete_callback=None):
            '''Embed widget w in the free_layout splitter.'''
            pc = self; c = pc.c #X ; splitter = pc.splitter
            pc.w = w
            layout = self.layout()
            for i in range(layout.count()):
                layout.removeItem(layout.itemAt(0))
            self.layout().addWidget(w)
            w.show()
            # Special inits for text widgets...
            if w.__class__ == QtWidgets.QTextBrowser:
                text_name = 'body-text-renderer'
                w.setObjectName(text_name)
                # Do not do this! It interferes with themes.
                    # pc.setBackgroundColor(pc.background_color, text_name, w)
                w.setReadOnly(True)
                # Create the standard Leo bindings.
                wrapper_name = 'rendering-pane-wrapper'
                wrapper = qt_text.QTextEditWrapper(w, wrapper_name, c)
                w.leo_wrapper = wrapper
                c.k.completeAllBindingsForWidget(wrapper)
                w.setWordWrapMode(QtGui.QTextOption.WrapAtWordBoundaryOrAnywhere)
        #@+node:ekr.20110321072702.14510: *5* vr.setBackgroundColor
        def setBackgroundColor(self, colorName, name, w):
            '''Set the background color of the vr pane.'''
            if 0: # Do not do this! It interferes with themes.
                pc = self
                if not colorName: return
                styleSheet = 'QTextEdit#%s { background-color: %s; }' % (name, colorName)
                if QtGui.QColor(colorName).isValid():
                    w.setStyleSheet(styleSheet)
                elif colorName not in pc.badColors:
                    pc.badColors.append(colorName)
                    g.warning('invalid body background color: %s' % (colorName))
        #@+node:ekr.20110320120020.14476: *4* vr.must_update
        def must_update(self, keywords):
            '''Return True if we must update the rendering pane.'''
            pc = self
            c, p = pc.c, pc.c.p
            if g.unitTesting:
                return False
            if keywords.get('force'):
                pc.active = True
                return True
            if c != keywords.get('c') or not pc.active:
                return False
            if pc.locked:
                return False
            if pc.gnx != p.v.gnx:
                return True
            if len(p.b) != pc.length:
                if pc.get_kind(p) in ('html', 'pyplot'):
                    pc.length = len(p.b)
                    return False # Only update explicitly.
                return True
            # This trace would be called at idle time.
                # g.trace('no change')
            return False
        #@+node:ekr.20110321151523.14463: *4* vr.update_graphics_script
        def update_graphics_script(self, s, keywords):
            '''Update the graphics script in the vr pane.'''
            pc = self; c = pc.c
            force = keywords.get('force')
            if pc.gs and not force:
                return
            if not pc.gs:
                splitter = c.free_layout.get_top_splitter()
                # Careful: we may be unit testing.
                if not splitter:
                    g.trace('no splitter')
                    return
                # Create the widgets.
                pc.gs = QtWidgets.QGraphicsScene(splitter)
                pc.gv = QtWidgets.QGraphicsView(pc.gs)
                w = pc.gv.viewport() # A QWidget
                # Embed the widgets.

                def delete_callback():
                    for w in (pc.gs, pc.gv):
                        w.deleteLater()
                    pc.gs = pc.gv = None

                pc.embed_widget(w, delete_callback=delete_callback)
            c.executeScript(
                script=s,
                namespace={'gs': pc.gs, 'gv': pc.gv})
        #@+node:ekr.20110321005148.14534: *4* vr.update_html
        update_html_count = 0

        def update_html(self, s, keywords):
            '''Update html in the vr pane.'''
            pc = self
            c = pc.c
            if pc.must_change_widget(BaseTextWidget):
                w = self.create_base_text_widget()
                pc.embed_widget(w)
                assert(w == pc.w)
            else:
                w = pc.w
            if isQt5:
                w.hide() # This forces a proper update.
            w.setHtml(s)
            w.show()
            c.bodyWantsFocusNow()
        #@+node:ekr.20110320120020.14482: *4* vr.update_image
        def update_image(self, s, keywords):
            '''Update an image in the vr pane.'''
            pc = self
            if not s.strip():
                return
            lines = g.splitLines(s) or []
            fn = lines and lines[0].strip()
            if not fn:
                return
            w = pc.ensure_text_widget()
            ok, path = pc.get_fn(fn, '@image')
            if not ok:
                w.setPlainText('@image: file not found: %s' % (path))
                return
            path = path.replace('\\', '/')
            template = image_template % (path)
            # Only works in Python 3.x.
            template = g.adjustTripleString(template, pc.c.tab_width).strip()
                # Sensitive to leading blank lines.
            # template = g.toUnicode(template)
            pc.show()
            w.setReadOnly(False)
            w.setHtml(template)
            w.setReadOnly(True)
        #@+node:ekr.20170105124347.1: *4* vr.update_jupyter & helper
        update_jupyter_count = 0

        def update_jupyter(self, s, keywords):
            '''Update @jupyter node in the vr pane.'''
            pc = self
            c = pc.c
            if pc.must_change_widget(BaseTextWidget):
                w = self.create_base_text_widget()
                pc.embed_widget(w)
                assert(w == pc.w)
            else:
                w = pc.w
            s = self.get_jupyter_source(c)
            if isQt5:
                w.hide() # This forces a proper update.
            w.setHtml(s)
            w.show()
            c.bodyWantsFocusNow()
        #@+node:ekr.20180311090852.1: *5* vr.get_jupyter_source
        def get_jupyter_source(self, c):
            '''Return the html for the @jupyer node.'''
            body = c.p.b.lstrip()
            if body.startswith('<'):
                # Assume the body is html.
                return body
            if body.startswith('{'):
                # Leo 5.7.1: Allow raw JSON.
                s = body
            else:
                url = g.getUrlFromNode(c.p)
                if not url:
                    return ''
                if not nbformat:
                    return 'can not import nbformt to render url: %r' % url
                try:
                    s = urlopen(url).read().decode()
                except Exception:
                    return 'url not found: %s' % url
            try:
                nb = nbformat.reads(s, as_version=4)
                e = HTMLExporter()
                (s, junk_resources) = e.from_notebook_node(nb)
            except nbformat.reader.NotJSONError:
                pass # Assume the result is html.
            return s
        #@+node:ekr.20170324064811.1: *4* vr.update_latex & helper
        def update_latex(self, s, keywords):
            '''Update latex in the vr pane.'''
            import sys
            pc = self
            c = pc.c
            ###
            if sys.platform.startswith('win'):
                g.es_print('latex rendering not ready for Python 3')
                w = pc.ensure_text_widget()
                pc.show()
                w.setPlainText(s)
                c.bodyWantsFocusNow()
                return
            if pc.must_change_widget(BaseTextWidget):
                w = self.create_base_text_widget()
                pc.embed_widget(w)
                assert(w == pc.w)
            else:
                w = pc.w
            w.hide() # This forces a proper update.
            s = self.create_latex_html(s)
            w.setHtml(s)
            w.show()
            c.bodyWantsFocusNow()
        #@+node:ekr.20170324085132.1: *5* vr.create_latex_html
        def create_latex_html(self, s):
            '''Create an html page embedding the latex code s.'''
            c = self.c
            # pylint: disable=deprecated-method
            try:
                import html
                escape = html.escape
            except AttributeError:
                import cgi
                escape = cgi.escape
            html_s = escape(s)
            template = latex_template % (html_s)
            template = g.adjustTripleString(template, c.tab_width).strip()
            return template
        #@+node:peckj.20130207132858.3671: *4* vr.update_md & helper
        def update_md(self, s, keywords):
            '''Update markdown text in the vr pane.'''
            pc = self; c = pc.c; p = c.p
            s = s.strip().strip('"""').strip("'''").strip()
            isHtml = s.startswith('<') and not s.startswith('<<')
            # Do this regardless of whether we show the widget or not.
            w = pc.ensure_text_widget()
            assert pc.w
            if s:
                pc.show()
            if got_markdown:
                force = keywords.get('force')
                colorizer = c.frame.body.colorizer
                language = colorizer.scanLanguageDirectives(p)
                if force or language in ('rst', 'rest', 'markdown', 'md'):
                    if not isHtml:
                        s = self.convert_to_markdown(s)
                self.set_html(s,w)
            else:
                # g.trace('markdown not available: using rst')
                self.update_rst(s,keywords)
        #@+node:ekr.20160921134552.1: *5* convert_to_markdown
        def convert_to_markdown(self, s):
            '''Convert s to html using the markdown processor.'''
            pc = self
            c, p = pc.c, pc.c.p
            path = g.scanAllAtPathDirectives(c, p) or c.getNodePath(p)
            if not os.path.isdir(path):
                path = os.path.dirname(path)
            if os.path.isdir(path):
                os.chdir(path)
            try:
                if pc.title:
                    s = pc.underline(pc.title) + s
                    pc.title = None
                mdext = c.config.getString('view-rendered-md-extensions') or 'extra'
                mdext = [x.strip() for x in mdext.split(',')]
                s = markdown(s, extensions=mdext)
                s = g.toUnicode(s)
            except SystemMessage as sm:
                msg = sm.args[0]
                if 'SEVERE' in msg or 'FATAL' in msg:
                    s = 'MD error:\n%s\n\n%s' % (msg, s)
            return s
        #@+node:ekr.20110320120020.14481: *4* vr.update_movie
        movie_warning = False

        def update_movie(self, s, keywords):
            '''Update a movie in the vr pane.'''
            # pylint: disable=maybe-no-member
                # 'PyQt4.phonon' has no 'VideoPlayer' member
                # 'PyQt4.phonon' has no 'VideoCategory' member
                # 'PyQt4.phonon' has no 'MediaSource' member
            pc = self
            ok, path = pc.get_fn(s, '@movie')
            if not ok:
                w = pc.ensure_text_widget()
                w.setPlainText('Not found: %s' % (path))
                return
            if not phonon and not QtMultimedia:
                if not self.movie_warning:
                    self.movie_warning = True
                    g.es_print('No phonon and no QtMultimedia modules')
                w = pc.ensure_text_widget()
                w.setPlainText('')
                return
            if pc.vp:
                vp = pc.vp
                pc.vp.stop()
                pc.vp.deleteLater()
            # Create a fresh player.
            g.es_print('playing', path)
            if QtMultimedia:
                url= QtCore.QUrl.fromLocalFile(path)
                content= QtMultimedia.QMediaContent(url)
                pc.vp = vp = QtMultimedia.QMediaPlayer()
                vp.setMedia(content)
                # Won't play .mp4 files: https://bugreports.qt.io/browse/QTBUG-32783
                vp.play()
            else:
                pc.vp = vp = phonon.VideoPlayer(phonon.VideoCategory)
                vw = vp.videoWidget()
                vw.setObjectName('video-renderer')
                # Embed the widgets
            
                def delete_callback():
                    if pc.vp:
                        pc.vp.stop()
                        pc.vp.deleteLater()
                        pc.vp = None

                pc.embed_widget(vp, delete_callback=delete_callback)
                pc.show()
                vp = pc.vp
                vp.load(phonon.MediaSource(path))
                vp.play()
        #@+node:ekr.20110320120020.14484: *4* vr.update_networkx
        def update_networkx(self, s, keywords):
            '''Update a networkx graphic in the vr pane.'''
            pc = self
            w = pc.ensure_text_widget()
            w.setPlainText('') # 'Networkx: len: %s' % (len(s)))
            pc.show()
        #@+node:ekr.20160928023915.1: *4* vr.update_pyplot
        def update_pyplot(self, s, keywords):
            '''Get the pyplot script at c.p.b and show it.'''
            c = self.c
            if not self.pyplot_imported:
                self.pyplot_imported = True
                backend = g.os_path_finalize_join(
                    g.app.loadDir, '..', 'plugins', 'pyplot_backend.py')
                if g.os_path_exists(backend):
                    try:
                        # The order of these statements is important...
                        import matplotlib
                        matplotlib.use('module://leo.plugins.pyplot_backend')
                    except ImportError:
                        g.trace('===== FAIL: pyplot.backend')
                else:
                    g.trace('===== MISSING: pyplot.backend')
            try:
                import matplotlib # Make *sure* this is imported.
                import matplotlib.pyplot as plt
                import numpy as np
                import matplotlib.animation as animation
                plt.ion() # Automatically set interactive mode.
                namespace = {
                    'animation': animation,
                    'matplotlib': matplotlib,
                    'numpy': np, 'np': np,
                    'pyplot': plt, 'plt': plt,
                }
            except ImportError:
                g.es_print('matplotlib imports failed')
                namespace = {}
            # Embedding already works without this!
                # self.embed_pyplot_widget()
            self.pyplot_active = True
                # pyplot will throw RuntimeError if we close the pane.
            c.executeScript(
                event=None,
                args=None, p=None,
                script=None,
                useSelectedText=False,
                define_g=True,
                define_name='__main__',
                silent=False,
                namespace=namespace,
                raiseFlag=False,
                runPyflakes=False, # Suppress warnings about pre-defined symbols.
            )
            c.bodyWantsFocusNow()
        #@+node:ekr.20110320120020.14477: *4* vr.update_rst & helpers
        def update_rst(self, s, keywords):
            '''Update rst in the vr pane.'''
            pc = self
            s = s.strip().strip('"""').strip("'''").strip()
            isHtml = s.startswith('<') and not s.startswith('<<')
            # Do this regardless of whether we show the widget or not.
            w = pc.ensure_text_widget()
            assert pc.w
            if s:
                pc.show()
            if got_docutils:
                # Fix #420: viewrendered does not render some nodes
                # Users (rightly) complained, so don't be clever here:
                    # c, p = pc.c, pc.c.p
                    # force = keywords.get('force')
                    # colorizer = c.frame.body.colorizer
                    # language = colorizer.scanLanguageDirectives(p)
                    # force or language in ('rst', 'rest', 'markdown', 'md'):
                if not isHtml:
                    s = pc.convert_to_html(s)
                pc.set_html(s, w)
            else:
                w.setPlainText(s)
        #@+node:ekr.20160920221324.1: *5* vr.convert_to_html
        def convert_to_html(self, s):
            '''Convert s to html using docutils.'''
            c, p = self.c, self.c.p
            # Update the current path.
            path = g.scanAllAtPathDirectives(c, p) or c.getNodePath(p)
            if not os.path.isdir(path):
                path = os.path.dirname(path)
            if os.path.isdir(path):
                os.chdir(path)
            try:
                if self.title:
                    s = self.underline(self.title) + s
                    self.title = None
                # Call docutils to get the string.
                s = publish_string(s, writer_name='html')
                s = g.toUnicode(s)
            except SystemMessage as sm:
                msg = sm.args[0]
                if 'SEVERE' in msg or 'FATAL' in msg:
                    s = 'RST error:\n%s\n\n%s' % (msg, s)
            return s
        #@+node:ekr.20110320120020.14479: *4* vr.update_svg
        # http://doc.trolltech.com/4.4/qtsvg.html
        # http://doc.trolltech.com/4.4/painting-svgviewer.html

        def update_svg(self, s, keywords):
            pc = self
            if pc.must_change_widget(QtSvg.QSvgWidget):
                w = QtSvg.QSvgWidget()
                pc.embed_widget(w)
                assert(w == pc.w)
            else:
                w = pc.w
            if s.strip().startswith('<'):
                # Assume it is the svg (xml) source.
                s = g.adjustTripleString(s, pc.c.tab_width).strip()
                    # Sensitive to leading blank lines.
                s = g.toEncodedString(s)
                pc.show()
                w.load(QtCore.QByteArray(s))
                w.show()
            else:
                # Get a filename from the headline or body text.
                ok, path = pc.get_fn(s, '@svg')
                if ok:
                    pc.show()
                    w.load(path)
                    w.show()
        #@+node:ekr.20110321005148.14537: *4* vr.update_url
        def update_url(self, s, keywords):
            pc = self
            c, p = self.c, self.c.p
            colorizer = c.frame.body.colorizer
            language = colorizer.scanLanguageDirectives(p)
            if language in ('rest', 'rst'):
                pc.update_rst(s, keywords)
            elif language in ('markdown', 'md'):
                pc.update_md(s, keywords)
            elif pc.default_kind in ('rest', 'rst'):
                pc.update_rst(s, keywords)
            elif pc.default_kind in ('markdown', 'md'):
                pc.update_md(s, keywords)
            else:
                # Do nothing.
                g.trace('ignore',s)
                w = pc.ensure_text_widget()
                pc.show()
                w.setPlainText('')
        #@+node:ekr.20110322031455.5765: *4* vr.utils for update helpers...
        #@+node:ekr.20110322031455.5764: *5* vr.ensure_text_widget
        def ensure_text_widget(self):
            '''Swap a text widget into the rendering pane if necessary.'''
            c, pc = self.c, self
            if pc.must_change_widget(QtWidgets.QTextBrowser):
                # Instantiate a new QTextBrowser.
                # Allow non-ctrl clicks to open url's.
                w = QtWidgets.QTextBrowser()

                def handleClick(url, w=w):
                    import leo.plugins.qt_text as qt_text
                    wrapper = qt_text.QTextEditWrapper(w, name='vr-body', c=c)
                    event = g.Bunch(c=c, w=wrapper)
                    g.openUrlOnClick(event, url=url)

                # if self.w and hasattr(self.w, 'anchorClicked'):
                    # try:
                        # self.w.anchorClicked.disconnect()
                    # except Exception:
                        # g.es_exception()

                w.anchorClicked.connect(handleClick)
                w.setOpenLinks(False)
                pc.embed_widget(w) # Creates w.wrapper
                assert(w == pc.w)
            return pc.w
        #@+node:ekr.20110320120020.14483: *5* vr.get_kind
        def get_kind(self, p):
            '''Return the proper rendering kind for node p.'''
            c, h, pc = self.c, p.h, self
            if h.startswith('@'):
                i = g.skip_id(h, 1, chars='-')
                word = h[1: i].lower().strip()
                if word in pc.dispatch_dict:
                    return word
            # 2016/03/25: Honor @language
            colorizer = c.frame.body.colorizer
            language = colorizer.scanLanguageDirectives(p, use_default=False)
                # Fix #344: don't use c.target_language as a default.
            if got_markdown and language in ('md', 'markdown'):
                return language
            if got_docutils and language in ('rest', 'rst'):
                return language
            if language and language in pc.dispatch_dict:
                return language
            # To do: look at ancestors, or uA's.
            return None
        #@+node:ekr.20110320233639.5776: *5* vr.get_fn
        def get_fn(self, s, tag):
            pc = self
            c = pc.c
            fn = s or c.p.h[len(tag):]
            fn = fn.strip()
            # Similar to code in g.computeFileUrl
            if fn.startswith('~'):
                # Expand '~' and handle Leo expressions.
                fn = fn[1:]
                fn = g.os_path_expanduser(fn)
                fn = g.os_path_expandExpression(fn, c=c)
                fn = g.os_path_finalize(fn)
            else:
                # Handle Leo expressions.
                fn = g.os_path_expandExpression(fn, c=c)
                # Handle ancestor @path directives.
                if c and c.openDirectory:
                    base = c.getNodePath(c.p)
                    fn = g.os_path_finalize_join(c.openDirectory, base, fn)
                else:
                    fn = g.os_path_finalize(fn)
            ok = g.os_path_exists(fn)
            # if not ok: g.trace('not found', fn)
            return ok, fn
        #@+node:ekr.20110321005148.14536: *5* vr.get_url
        def get_url(self, s, tag):
            p = self.c.p
            url = s or p.h[len(tag):]
            url = url.strip()
            return url
        #@+node:ekr.20110322031455.5763: *5* vr.must_change_widget
        def must_change_widget(self, widget_class):
            pc = self
            return not pc.w or pc.w.__class__ != widget_class
        #@+node:ekr.20110320120020.14485: *5* vr.remove_directives
        def remove_directives(self, s):
            lines = g.splitLines(s)
            result = []
            for s in lines:
                if s.startswith('@'):
                    i = g.skip_id(s, 1)
                    word = s[1: i]
                    if word in g.globalDirectiveList:
                        continue
                result.append(s)
            return ''.join(result)
        #@+node:vitalije.20170712183051.1: *3* vr.adjust_layout (legacy only)
        def adjust_layout(self, which):
            global layouts
            c = self.c
            splitter = self.splitter
            deflo = c.db.get('viewrendered_default_layouts', (None, None))
            loc, loo = layouts.get(c.hash(), deflo)
            if which == 'closed' and loc and splitter:
                splitter.load_layout(loc)
            elif which == 'open' and loo and splitter:
                splitter.load_layout(loo)
        #@+node:ekr.20190614133401.1: *3* vr.show_dock_or_pane
        def show_dock_or_pane(self):
            
            c, vr = self.c, self
            if g.app.dock:
                dock = vr.leo_dock
                if dock:
                    if dock.isHidden():
                        dock.show()
                    dock.raise_()
                        # #1230.
            else:
                vr.activate()
                vr.show()
                vr.adjust_layout('open')
            c.bodyWantsFocusNow()
        #@+node:vitalije.20170712183618.1: *3* vr.store_layout
        def store_layout(self, which):
            global layouts
            c = self.c; h = c.hash()
            splitter = self.splitter
            deflo = c.db.get('viewrendered_default_layouts', (None, None))
            (loc, loo) = layouts.get(c.hash(), deflo)
            if which == 'closed' and splitter:
                loc = splitter.get_saveable_layout()
                loc = json.loads(json.dumps(loc))
                layouts[h] = loc, loo
            elif which == 'open' and splitter:
                loo = splitter.get_saveable_layout()
                loo = json.loads(json.dumps(loo))
                layouts[h] = loc, loo
            c.db['viewrendered_default_layouts'] = layouts[h]
        #@-others
#@-others
#@@language python
#@@tabwidth -4
#@-leo
