##// END OF EJS Templates
Add a new context manager, Widget.hold_sync(), which holds any syncing until the manager exits...
Add a new context manager, Widget.hold_sync(), which holds any syncing until the manager exits Sometimes for consistency or efficiency purposes, it makes sense to update a group of properties all at once. This context manager makes this possible. We also fix a bug where send_state was not passing the key on to get_state.

File last commit:

r16265:500d6fe8
r17621:fb8baf19
Show More
__init__.py
10 lines | 331 B | text/x-python | PythonLexer
from .export import *
from .html import HTMLExporter
from .slides import SlidesExporter
from .templateexporter import TemplateExporter
from .latex import LatexExporter
from .markdown import MarkdownExporter
from .pdf import PDFExporter
from .python import PythonExporter
from .rst import RSTExporter
from .exporter import Exporter