4 Commits (184501df79a9c9462ba6d93f3637ecf0a440f1dd)

Author SHA1 Message Date
Nuša Pukšič 184501df79 Editor: sync across panels, syntax highlighting 2 weeks ago
Nuša Pukšič a2fa3537dc Editor: sync panes 3 weeks ago
Nuša Pukšič 2465978cfe Editor refactor, continued 4 weeks ago
Nuša Pukšič df85a7ed78 Editor refactor 4 weeks ago