Fixes #4189: theme box fails when entering second theme.
[redakcja.git] / src / documents / __init__.py