public void PushContext(ThemeContext context) { lock (this) { contexts.Push(context); } }
public void PushContext (ThemeContext context) { lock (this) { contexts.Push (context); } }