Sat, 19 May 2018 16:38:28 +0200
Editor: added a context menu for the "fold" margin and improved the handling of folded lines when using "go to" functions.
6297
85e20e9b4d55
Editor: added a context menu for the "fold" margin and improved the handling of folded lines when using "go to" functions.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
6296
diff
changeset
|
1 | (binary:application/octet-stream) |