##// END OF EJS Templates
make execute button in menu bar match shift-enter...
make execute button in menu bar match shift-enter Noticed this when testing the UI on the IPad. I expected the button to perform the default execute behavior, but it doesn't.

File last commit:

r12513:6b68269f
r15179:4c140ed1
Show More
__init__.py
8 lines | 185 B | text/x-python | PythonLexer
from .base import PostProcessorBase
from .pdf import PDFPostProcessor
# protect against unavailable tornado
try:
from .serve import ServePostProcessor
except ImportError:
pass