3 Commits (ab4b265dd02df258d5ddbd68cebcb1e1e107ae6a)

Author SHA1 Message Date
Nuša Pukšič 184501df79 Editor: sync across panels, syntax highlighting 3 weeks ago
Nuša Pukšič c9b6588db7 Editor refactor, scroll 4 weeks ago
Nuša Pukšič df85a7ed78 Editor refactor 4 weeks ago