+class EditorSettings(models.Model):
+ """Ustawienia edytora dla użytkownika.
+
+ Pole settings zawiera obiekt JSON o kluczach:
+ - panels - lista otwartych paneli i ich proporcje
+ - recentFiles - lista otwartych plików i ustawienia dla nich
+
+ Przykład:
+ {
+ 'panels': [
+ {'name': 'htmleditor',
+ 'ratio': 0.5},
+ {'name': 'gallery', 'ratio': 0.5}
+ ],
+ 'recentFiles': [
+ {
+ 'fileId': 'mickiewicz_pan_tadeusz.xml',
+ 'panels': [
+ {'name': 'htmleditor', 'ratio': 0.4},
+ {'name': 'gallery', 'ratio': 0.6}
+ ]
+ }
+ ]
+ }
+ """
+ user = models.ForeignKey(User, unique=True)
+ settings = fields.JSONField()
+