Zmiana rozmiaru czcionki w edytorze. Closes #16.
[redakcja.git] / apps / explorer / __init__.py