##// END OF EJS Templates
hide header-bar when header is hidden...
hide header-bar when header is hidden also reduce the amount of CSS used to accomplish the 1px line (no negative margins)

File last commit:

r13582:b21d447e
r19902:3de4ea39
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