##// END OF EJS Templates
fix end_space size...
fix end_space size closes #7409 Mostly a symptome of too many nested div that do different things. don't try to both have an end space inside and outside the 'document' area. And don't try to also get the things to be 100viewport height by hacking around and make them smaller;

File last commit:

r13582:b21d447e
r19872:b3fa9de5
Show More
_dummy.py
29 lines | 578 B | text/x-python | PythonLexer
#-----------------------------------------------------------------------------
# Copyright (C) 2013 Min RK
#
# Distributed under the terms of the 2-clause BSD License.
#-----------------------------------------------------------------------------
from contextlib import contextmanager
def beginActivityWithOptions(options, reason=""):
return
def endActivity(activity):
return
def nope():
return
def nap():
return
@contextmanager
def nope_scope(
options=0,
reason="Because Reasons"
):
yield
def napping_allowed():
return True