Fri, 26 Jun 2015 19:21:16 +0200
Extended the viewmanager interface to allow to open a new editor next to the current one.
4298
4e7a0e2c20fc
Extended the viewmanager interface to allow to open a new editor next to the current one.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
4291
diff
changeset
|
1 | (binary:application/octet-stream) |