Editor update: Allow for editing raw source in the source editor if document contains...
[redakcja.git] / redakcja / __init__.py