Editor fix - fix jumping to a different document version
[redakcja.git] / redakcja / __init__.py