Searched refs:_should_copy (Results 1 – 3 of 3) sorted by relevance
/dports/devel/py-jupyterlab/jupyterlab-3.1.14/jupyterlab/ |
H A D | federated_labextensions.py | 267 def _should_copy(src, dest, logger=None): function 308 if _should_copy(src, dest, logger=logger):
|
/dports/www/py-notebook/notebook-6.4.5/notebook/ |
H A D | nbextensions.py | 994 def _should_copy(src, dest, logger=None): function 1035 if _should_copy(src, dest, logger=logger):
|
/dports/math/vampire/vampire-4.5.1/Shell/ |
H A D | Options.hpp | 837 …longName(l), shortName(s), experimental(false), is_set(false),_should_copy(true), _tag(OptionTag::… in AbstractOptionValue() 925 bool _should_copy; member 926 bool shouldCopy() const { return _should_copy; } in shouldCopy() 1315 DecodeOptionValue(){ AbstractOptionValue::_should_copy=false;} in DecodeOptionValue() 1317 OptionValue(l,s,""), parent(p){ AbstractOptionValue::_should_copy=false;} in DecodeOptionValue()
|