6 Commits (e665eb7a33165624c31f086a5176f8439e9cba15)

Author SHA1 Message Date
Nuša Pukšič e665eb7a33 Editor: publishing actions 2 weeks ago
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č c9b6588db7 Editor refactor, scroll 4 weeks ago
Nuša Pukšič df85a7ed78 Editor refactor 4 weeks ago